Volume 3, Issue 3 | Journal of Cryptographic Engineering

Search all Journal of Cryptographic Engineering articles

Volume 3, Issue 3

September 2013

Special Section on PROOFS workshop (pp 157-195)

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Improved algebraic side-channel attack on AES
Mohamed Saied Emam Mohamed
Stanislav Bulygin
Johannes Buchmann
Regular Paper 10 April 2013 Pages: 139 - 156
Formal verification of a CRT-RSA implementation against fault attacks
Maria Christofi
Boutheina Chetali
David Vigilant
Special Section on PROOFS workshop 15 February 2013 Pages: 157 - 167
A formal study of two physical countermeasures against side channel attacks
Sébastien Briais
Jean-Luc Danger
Sylvain Guilley
Special Section on PROOFS workshop 16 February 2013 Pages: 169 - 180
Toward a taxonomy of communications security models
Mark Brown
Special Section on PROOFS workshop 06 April 2013 Pages: 181 - 195