Ausgabe 3/2014
Special Section on PROOFS 2013 (pp 145-195)
Inhalt (5 Artikel)
Special Section on Proofs 2013
Formal verification of a software countermeasure against instruction skip attacks
N. Moro, K. Heydemann, E. Encrenaz, B. Robisson
Special Section on Proofs 2013
Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis
Sonia Belaïd, Fabrizio De Santis, Johann Heyszl, Stefan Mangard, Marcel Medwed, Jörn-Marc Schmidt, François-Xavier Standaert, Stefan Tillich
Special Section on Proofs 2013
A formal proof of countermeasures against fault injection attacks on CRT-RSA
Pablo Rauzy, Sylvain Guilley
Special Section on Proofs 2013
Understanding the limitations and improving the relevance of SPICE simulations in side-channel security evaluations
Dina Kamel, Mathieu Renauld, Denis Flandre, François-Xavier Standaert
Regular Paper
A model of the leakage in the frequency domain and its application to CPA and DPA
S. Tiran, S. Ordas, Y. Teglia, M. Agoyan, P. Maurine