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