Benchmarking Open-Source Static Analyzers for Security Testing for C. - Christoph Gentsch; Rohan Krishnamurthy; Thomas S. Heinze (ISoLA (4), 2020)

A Secure Cell-Attachment Procedure of LDACS. - Nils Mäurer; Thomas Gräupl; Christoph Gentsch; Tobias Guggemos; Marcel Tiepelt; Corinna Schmitt; Gabi Dreo Rodosek (EuroS&P Workshops, 2021)

Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS. - Nils Mäurer; Christoph Gentsch; Thomas Gräupl; Corinna Schmitt (SECRYPT, 2021)