Masking against Side-Channel Attacks: A Formal Security Proof.
Emmanuel ProuffMatthieu RivainPublished in: EUROCRYPT (2013)
Keyphrases
- information security
- smart card
- security requirements
- security mechanisms
- information assurance
- network security
- security policies
- encryption scheme
- security vulnerabilities
- security systems
- security issues
- theorem proving
- theorem prover
- intrusion detection
- functional requirements
- malware detection
- human visual system
- key management
- computer security
- security analysis
- formal specification
- data security
- security properties
- data integrity
- security problems
- security threats
- anomaly detection
- distributed systems
- cryptographic protocols
- security model
- security protocols
- information systems
- formal methods
- statistical databases