David Gens

M.Sc. David Gens

Research Assistant

Mornewegstrasse 30
64293 Darmstadt
GERMANY

Room: 4.1.23 (in Building S2|14, former CASED)
Tel: +49 (0) 6151 / 16 – 27342
Email: david.gens (a-t) cs.tu-darmstadt.de (encrypted emails are appreciated PGP key)
Website: http://david.g3ns.de

Research Interests

  • architectural defenses, isolation between kernel and userland
  • run-time attacks, reverse engineering
  • static analysis and formal verification

Academic Activities and Awards

Supervised Students

  • Simon Schmitt, Bachelor Thesis (July 2017),
    Title: Static Analysis of Operating Systems,
    The results of this thesis have been published at NDSS 2018!

Curriculum Vitae

since 2016
PhD student at Technische Universität Darmstadt, Germany
2013 – 2016 M.Sc. Computer Science
at Technische Universität Darmstadt, Germany
2010 – 2013 B.Sc. Computer Science
at Hochschule RheinMain in Wiesbaden

Publications

Gruppiere nach: Datum | Typ des Eintrags | Keine Gruppierung
Springe zu: 2019 | 2018 | 2017 | 2016 | 2015
Anzahl der Einträge: 9.

2019

Brasser, Ferdinand ; Gens, David ; Jauernig, Patrick ; Sadeghi, Ahmad-Reza ; Stapf, Emmanuel :
SANCTUARY: ARMing TrustZone with User-space Enclaves.
26th Annual Network & Distributed System Security Symposium (NDSS)
[Konferenz- oder Workshop-Beitrag] , (2019)

2018

Zeitouni, Shaza ; Gens, David ; Sadeghi, Ahmad-Reza :
It’s Hammer Time: How to Attack (Rowhammer-based) DRAM-PUFs.
In: Design Automation Conference (DAC) 2018
[Konferenz- oder Workshop-Beitrag] , (2018)

Gens, David ; Schmitt, Simon ; Davi, Lucas ; Sadeghi, Ahmad-Reza :
K-Miner: Uncovering Memory Corruption in Linux.
25th Annual Network & Distributed System Security Symposium (NDSS)
[Konferenz- oder Workshop-Beitrag] , (2018)

2017

Frassetto, Tommaso ; Gens, David ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza :
JITGuard: Hardening Just-in-time Compilers with SGX.
24th ACM Conference on Computer and Communications Security (CCS)
[Konferenz- oder Workshop-Beitrag] , (2017)

Arias, Orlando ; Gens, David ; Jin, Yier ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza ; Sullivan, Dean :
LAZARUS: Practical Side-channel Resilient Kernel-Space Randomization.
20th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2017)
[Konferenz- oder Workshop-Beitrag] , (2017)

Brasser, Ferdinand ; Davi, Lucas ; Gens, David ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza :
CAn’t Touch This: Software-only Mitigation against Rowhammer Attacks targeting Kernel Memory.
In: USENIX Security '17 .
[Konferenz- oder Workshop-Beitrag] , (2017)

Davi, Lucas ; Gens, David ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza :
PT-Rand: Practical Mitigation of Data-only Attacks against Page Tables.
24th Annual Network & Distributed System Security Symposium (NDSS)
[Konferenz- oder Workshop-Beitrag] , (2017)

2016

Brasser, Ferdinand ; Davi, Lucas ; Gens, David ; Liebchen, Christopher ; Sadeghi, Ahmad-Reza :
CATT: Practical and Generic Software-only Defenses Against Rowhammer Attacks.
[Online-Edition: https://arxiv.org/abs/1611.08396]
In: Cryptography and Security
[Artikel] , (2016)

2015

Egert, Rolf ; Fischlin, Marc ; Gens, David ; Jacob, Sven ; Senker, Matthias ; Tillmans, Jörg :
Privately computing set-union and set-intersection cardinality via bloom filters.
In: Information Security and Privacy (ACISP) pp. 413-430.
[Artikel] , (2015)

Diese Liste wurde am Sun Dec 16 17:46:59 2018 CET generiert.

go to list