SIGNED: A Challenge-Response Scheme for Electronic Hardware Watermarking (IEEE TComp, 2022) [link]
FadingBF: A Bloom Filter with Consistent Guarantees for Online Applications (IEEE TComp, 2022) [link]
A Formal Analysis of Prefetching in Profiled Cache-Timing Attacks on Block Ciphers (Journal of Cryptology, 2021) [link]
PERI: a Posit enabled RISC-V core (ACM TACO, 2021) [link]
FaultDroid: An Algorithmic Approach for Fault-Induced Information Leakage Analysis (ACM TODAES, 2020) [link]
FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers (IACR TCHES, 2020) [link]
BRUTUS: Refuting the Security Claims of the Cache Timing Randomization Countermeasure proposed in CEASER (IEEE Computer Architecture Letters, 2020) [link]
ALEXIA: A Processor with Light Weight Extensions for Memory Safety (ACM TECS, 2019) [link]
Revisiting AES SBox Composite Field Implementations for FPGAs
(IEEE Embedded Systems Letters, 2019)[link][code]