Volume 4, Issue 3 | Journal of Cryptographic Engineering

Search all Journal of Cryptographic Engineering articles

Volume 4, Issue 3

September 2014

Special Section on PROOFS 2013 (pp 145-195)

5 articles in this issue

Formal verification of a software countermeasure against instruction skip attacks
N. Moro
K. Heydemann
B. Robisson
Special Section on Proofs 2013 19 February 2014 Pages: 145 - 156
Towards fresh re-keying with leakage-resilient PRFs: cipher design principles and analysis
Sonia Belaïd
Fabrizio De Santis
Stefan Tillich
Special Section on Proofs 2013 20 March 2014 Pages: 157 - 171
A formal proof of countermeasures against fault injection attacks on CRT-RSA
Pablo Rauzy
Sylvain Guilley
Special Section on Proofs 2013 25 December 2013 Pages: 173 - 185
Understanding the limitations and improving the relevance of SPICE simulations in side-channel security evaluations
Dina Kamel
Mathieu Renauld
François-Xavier Standaert
Special Section on Proofs 2013 18 April 2014 Pages: 187 - 195
A model of the leakage in the frequency domain and its application to CPA and DPA
S. Tiran
S. Ordas
P. Maurine
Regular Paper 17 February 2014 Pages: 197 - 212