1. 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

   

2. 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

   

3. 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

   

4. 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

   

5. 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