Login / Signup
Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack.
Pablo Rauzy
Sylvain Guilley
Published in:
IACR Cryptol. ePrint Arch. (2013)
Keyphrases
</>
formal analysis
power analysis
countermeasures
smart card
elliptic curve
information security
agent model
ban logic
key exchange
secret key
public key
formal methods
databases
signature scheme
authentication protocol
block cipher
knowledge acquisition
database systems
artificial intelligence