Christoph Gentsch

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Open Source Projects

Security Analysis

Top Venues

EuroS&P Workshops

Publications

Nils Mäurer, Thomas Gräupl, Christoph Gentsch, Tobias Guggemos, Marcel Tiepelt, Corinna Schmitt, Gabi Dreo Rodosek
A Secure Cell-Attachment Procedure of LDACS. EuroS&P Workshops (2021)
Nils Mäurer, Christoph Gentsch, Thomas Gräupl, Corinna Schmitt
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS. SECRYPT (2021)
Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze
Benchmarking Open-Source Static Analyzers for Security Testing for C. ISoLA (4) (2020)