Ausgabe 3/2013
Special Section on PROOFS workshop (pp 157-195)
Inhalt (4 Artikel)
Regular Paper
Improved algebraic side-channel attack on AES
Mohamed Saied Emam Mohamed, Stanislav Bulygin, Michael Zohner, Annelie Heuser, Michael Walter, Johannes Buchmann
Special Section on PROOFS workshop
Formal verification of a CRT-RSA implementation against fault attacks
Maria Christofi, Boutheina Chetali, Louis Goubin, David Vigilant
Special Section on PROOFS workshop
A formal study of two physical countermeasures against side channel attacks
Sébastien Briais, Jean-Luc Danger, Sylvain Guilley