Journal: J. Cryptographic Engineering

Volume 3, Issue 3

139 -- 156Mohamed Saied Emam Mohamed, Stanislav Bulygin, Michael Zohner, Annelie Heuser, Michael Walter, Johannes Buchmann. Improved algebraic side-channel attack on AES
157 -- 167Maria Christofi, Boutheina Chetali, Louis Goubin, David Vigilant. Formal verification of a CRT-RSA implementation against fault attacks
169 -- 180Sébastien Briais, Jean-Luc Danger, Sylvain Guilley. A formal study of two physical countermeasures against side channel attacks
181 -- 195Mark Brown. Toward a taxonomy of communications security models