Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic.
Pablo RauzySylvain GuilleyZakaria NajmPublished in: CoRR (2015)
Keyphrases
- power analysis
- countermeasures
- information security
- elliptic curve
- smart card
- differential power analysis
- security requirements
- intrusion detection
- network security
- block cipher
- security mechanisms
- logic programming
- case study
- sql injection
- source code
- programs written
- security vulnerabilities
- security issues
- low cost
- logical operations
- security policies
- end to end
- protection scheme
- anomaly detection