Random Probing Security: Verification, Composition, Expansion and New Constructions.
Sonia BelaïdJean-Sébastien CoronEmmanuel ProuffMatthieu RivainAbdul Rahman TalebPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- high security
- integrity verification
- java card
- access control
- chosen plaintext
- information security
- cryptographic protocols
- security requirements
- intrusion detection
- security systems
- uniformly distributed
- security issues
- data security
- security policies
- communication protocols
- model checking
- formal analysis
- security mechanisms
- signature verification
- encryption algorithm
- statistical databases
- security problems
- security threats
- network security
- verification method
- smart card