selected publications

• academic article

  • The Conflicted Usage of RLUTs for Security-Critical Applications on FPGA.  Journal of Hardware and Systems Security.  2:162-178. 2018
  • Cryptographically Secure Shield for Security IPs Protection.  IEEE Transactions on Computers.  1-1. 2016
  • 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
  • Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic.  IACR Cryptology ePrint Archive. 2013

• chapter

  • Reconfigurable LUT: A Double Edged Sword for Security-Critical Applications.  Lecture notes in computer science. 248-268. 2015

• conference paper

  • Private circuits II versus fault injection attacks.  . 1-9. 2015
  • High precision fault injections on the instruction cache of ARMv7-M architectures.  . 2015
  • Encoding the state of integrated circuits.  . 1-10. 2014
  • Side-channel leakage and trace compression using normalized inter-class variance.  . 1-9. 2014
  • A low-entropy first-degree secure provable masking scheme for resource-constrained devices.  . 1-10. 2013