A Formal Proof of Countermeasures against Fault Injection Attacks on CRT-RSA.

Pablo Rauzy Sylvain Guilley

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

countermeasures
formal proof
sql injection
injection attacks
power analysis
information security
recommender systems
theorem prover
collaborative recommender systems
security measures
public key
collaborative filtering
java card
signature scheme
elliptic curve
database
lightweight
e government
end users
databases