Verification of the security in Boolean masked circuits.
Vahid JahandidehPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- high security
- integrity verification
- java card
- asynchronous circuits
- model checking
- intrusion detection
- information security
- security issues
- high speed
- cryptographic protocols
- access control
- analog vlsi
- boolean functions
- security level
- security mechanisms
- information assurance
- computer security
- formal verification
- security analysis
- security requirements
- real valued
- static analysis
- statistical databases
- security management
- image encryption
- delay insensitive
- network security
- high assurance
- distributed systems
- security model
- face verification
- analog circuits
- security policies