IronMask: Versatile Verification of Masking Security.
Sonia BelaïdDarius MercadierMatthieu RivainAbdul Rahman TalebPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- high security
- java card
- integrity verification
- access control
- cryptographic protocols
- security issues
- network security
- model checking
- information security
- statistical databases
- security requirements
- intrusion detection
- security problems
- information assurance
- computer security
- human visual system
- face verification
- protocol specification
- security threats
- security measures
- data integrity
- data sets
- data security
- security protocols
- intrusion detection system
- key management
- functional requirements
- smart card