Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz:
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
in Proceedings of the 31st ACM ESEC/FSE (Distinguished Paper).
David Gens:
Deep Learning Compilers with PyTorch and LLVM MLIR
Guest Lecture for the Compiler class of Professor Michael Franz at the University of California, Irvine (slides, demo).
David Gens:
ML Meets Security
Lightning Talk at Galois QME Workshop (slides)
Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz:
PKRU-safe: automatically locking down the heap between safe and unsafe languages
in Proceedings of Eurosys'22 (Best Paper).
Min-Yih Hsu, David Gens, Michael Franz:
MCAD: Beyond Basic-Block Throughput Estimation Through Differential, Instruction-Level Tracing
preprint published on arxiv.org
Chinmay Desphande, David Gens, Michael Franz:
StackBERT: Machine Learning Assisted Static Stack Frame Size Recovery On Stripped and Optimized Binaries
in 14th ACM Workshop on Artificial Intelligence and Security (AISec'21)
David Gens, Michael Franz:
AI in Security
in HoTSoS 2021 Special Session on Science of Security Hard Problems
Prabhu Rajasekaran, Stephen Crane, David Gens, Yeoul Na, Stijn Volckaert, and Michael Franz:
CoDaRR: Continuous Data Space Randomization against Data-Only Attacks
in ACM ASIACCS 2020
Zijo Kenjar, Tommaso Frassetto, David Gens, Michael Franz, Ahmad-Reza Sadeghi:
V0LTpwn: Attacking x86 Processor Integrity from Software
in USENIX Security 2020
Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz:
BinRec: dynamic binary lifting and recompilation.
in EuroSys 2020
Taemin Park, Karel Dhondt, David Gens, Yeoul Na, Stijn Volckaert, and Michael Franz:
NoJITsu: Locking Down JavaScript Engines
in NDSS 2020 and BH 2020
Carsten Bock, Ferdinand Brasser, David Gens, Christopher Liebchen, Ahmad-Reza Sadeghi:
RIP-RH: Preventing Rowhammer-based Inter-Process Attacks.
in AsiaCCS 2019
Ferdinand Brasser, David Gens, Patrick Jauernig, Ahmad-Reza Sadeghi, Emmanuel Stapf:
SANCTUARY: ARMing TrustZone with User-space Enclaves.
in NDSS 2019
Ghada Dessouky, David Gens, Patrick Haney, Garrett Persyn, Arun K. Kanuparthi, Hareesh Khattri, Jason M. Fung, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran:
HardFails: Insights into Software-Exploitable Hardware Bugs.
in USENIX Security Symposium 2019
Poulami Das, Lisa Eckey, Tommaso Frassetto, David Gens, Kristina Hostáková, Patrick Jauernig, Sebastian Faust, Ahmad-Reza Sadeghi:
FastKitten: Practical Smart Contracts on Bitcoin.
in USENIX Security Symposium 2019
David Gens
OS-level Attacks and Defenses: from Software to Hardware-based Exploits.
in Darmstadt University of Technology (PhD Thesis), Germany, 2019
Shaza Zeitouni, David Gens, Ahmad-Reza Sadeghi:
It's hammer time: how to attack (rowhammer-based) DRAM-PUFs
in DAC 2018
David Gens
OS-level Software & Hardware Attacks and Defenses
in MobiSys 2018 (PhD Forum)
David Gens, Simon Schmitt, Lucas Davi, Ahmad-Reza Sadeghi:
K-Miner: Uncovering Memory Corruption in Linux
in NDSS 2018
Tommaso Frassetto, David Gens, Christopher Liebchen, Ahmad-Reza Sadeghi:
JITGuard: Hardening Just-in-time Compilers with SGX.
in ACM CCS 2017
Lucas Davi, David Gens, Christopher Liebchen, Ahmad-Reza Sadeghi:
PT-Rand: Practical Mitigation of Data-only Attacks against Page Tables
in NDSS 2017
David Gens, Orlando Arias, Dean Sullivan, Christopher Liebchen, Yier Jin, Ahmad-Reza Sadeghi:
LAZARUS: Practical Side-Channel Resilient Kernel-Space Randomization.
in RAID 2017
Ferdinand Brasser, Lucas Davi, David Gens, Christopher Liebchen, Ahmad-Reza Sadeghi:
CAn't Touch This: Software-only Mitigation against Rowhammer Attacks targeting Kernel Memory.
in USENIX Security Symposium 2017
Rolf Egert, Marc Fischlin, David Gens, Sven Jacob, Matthias Senker, Jörn Tillmanns:
Privately Computing Set-Union and Set-Intersection Cardinality via Bloom Filters.
in ACISP 2015