selected publications

• academic article

  • Formally proved security of assembly code against power analysis.  Journal of Cryptographic Engineering.  6:201-216. 2015

• blog posting

  • High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures..  IACR Cryptology ePrint Archive. 147. 2015
  • Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA.  arXiv (Cornell University). 2014
  • Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA..  IACR Cryptology ePrint Archive. 559. 2014
  • Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic.  IACR Cryptology ePrint Archive. 2013

• conference paper

  • High precision fault injections on the instruction cache of ARMv7-M architectures.  . 2015
  • Countermeasures against High-Order Fault-Injection Attacks on CRT-RSA.  Workshop on Fault Diagnosis and Tolerance in Cryptography. 68-82. 2014
  • Formal Analysis of CRT-RSA Vigilant's Countermeasure Against the BellCoRe Attack.  . 1-10. 2014