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