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

Pablo Rauzy Sylvain Guilley

Published in: CoRR (2014)

Keyphrases

countermeasures
formal proof
sql injection
injection attacks
power analysis
information security
recommender systems
theorem prover
signature scheme
public key
collaborative recommender systems
java card
databases
elliptic curve