Detecting Laser Fault Injection for Smart Cards Using Security Automata.
Guillaume BouffardBhagyalekshmy N. ThampiJean-Louis LanetPublished in: SSCC (2013)
Keyphrases
- java card
- fault injection
- smart card
- information security
- security requirements
- static analysis
- security mechanisms
- security analysis
- countermeasures
- authentication scheme
- secret key
- secure communication
- sensitive data
- control flow
- regular expressions
- virtual machine
- digital signature
- authentication protocol
- security level
- elliptic curve
- security issues