A formal proof of countermeasures against fault injection attacks on CRT-RSA.

Pablo Rauzy Sylvain Guilley

Published in: J. Cryptogr. Eng. (2014)

Keyphrases

countermeasures
formal proof
sql injection
injection attacks
power analysis
information security
recommender systems
collaborative recommender systems
theorem prover
public key
security measures
java card
elliptic curve
signature scheme
data storage
software engineering
database