Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack: A Pledge for Formal Methods in the Field of Implementation Security.
Pablo RauzySylvain GuilleyPublished in: CoRR (2014)
Keyphrases
- formal analysis
- formal methods
- ban logic
- security properties
- information security
- countermeasures
- formal specification language
- model checking
- protocol specification
- power analysis
- formal specification
- safety critical
- software engineering
- network security
- knowledge based systems
- artificial intelligence
- access control
- key exchange
- elliptic curve cryptography
- security issues
- intrusion detection
- elliptic curve
- private key
- machine learning