publication venue for
- High Precision Fault Injections on the Instruction Cache of ARMv7-M Architectures. 2015
- Countermeasures Against High-Order Fault-Injection Attacks on CRT-RSA. 2014
- Formally Proved Security of Assembly Code Against Power Analysis: A Case Study on Balanced Logic 2013
- Key-Controlled Order-Preserving Encryption. 2010