Publications

Multi-Tag: A Hardware-Software Co-Design for Memory Safety based on Multi-Granular Memory Tagging
SCFI: State Machine Control-Flow Hardening Against Fault Attacks
SFP: Providing System Call Flow Protection against Software and Fault Attacks
FIPAC: Thwarting Fault- and Software-Induced Control-Flow Attacks with ARM Pointer Authentication
SecWalk: Protecting Page Table Walks Against Fault Attacks
Protecting Indirect Branches Against Fault Attacks Using ARM Pointer Authentication
HECTOR-V: A Heterogeneous CPU Architecture for a Secure RISC-V
CrypTag: Thwarting Physical and Logical Memory Vulnerabilities using Cryptographically Colored Memory
ConTExT: A Generic Approach for Mitigating Spectre
Securing Conditional Branches in the Presence of Fault Attacks
Protecting RISC-V Processors against Physical Attacks
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
Pointing in the Right Direction - Securing Memory Accesses in a Faulty World
High Speed ASIC Implementations of Leakage-Resilient Cryptography
Leakage Bounds for Gaussian Side Channels
An IoT Endpoint System-on-Chip for Secure and Energy-Efficient Near-Sensor Analytics
Transparent Memory Encryption and Authentication
Multi-Core Data Analytics SoC with a Flexible 1.76 Gbit/s AES-XTS Cryptographic Accelerator in 65 nm CMOS
A Low-Area ASIC Implementation of AEGIS128—A fast Authenticated Encryption Algorithm