Selected publications are listed below. For the complete list, see my Google Scholar profile.
Publication links will be added when the corresponding proceedings become available.
Selected publications
[AsiaCCS ‘26] TAGShield: Persistent Tagging for Robust Stack Memory Error Protection
Michele Grisafi (University of Trento), Carlo Ramponi (University of Trento), Silviu Vlasceanu (Huawei Research, Germany), Mahmoud Ammar (Huawei Research, Germany), Bruno Crispo (University of Trento).
[CCS ‘26] Mitigating Code Injection Attacks on Modern GPUs
Carlo Ramponi (University of Trento), Adriaan Jacobs (DistriNet, KU Leuven), Luigi Dell Eva (University of Trento), Stijn Volckaert (DistriNet, KU Leuven), Silviu Vlasceanu (Huawei Research, Germany), Mahmoud Ammar (Huawei Research), Bruno Crispo (University of Trento).
[CCS ‘26] N00B: Bounds Checking for the Masses
Adriaan Jacobs (DistriNet, KU Leuven), Carlo Ramponi (University of Trento), Jonas Roels (DistriNet, KU Leuven), Bruno Crispo (University of Trento), Silviu Vlasceanu (Huawei Research, Germany), Mahmoud Ammar (Huawei Research, Germany), Stijn Volckaert (DistriNet, KU Leuven).