Christoph Gentsch

According to our database, Christoph Gentsch authored at least 3 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Proceedings of the 18th International Conference on Security and Cryptography, 2021

A Secure Cell-Attachment Procedure of LDACS.

Nils Mäurer, Thomas Gräupl, Christoph Gentsch, Tobias Guggemos, Marcel Tiepelt, Corinna Schmitt, Gabi Dreo Rodosek

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

Benchmarking Open-Source Static Analyzers for Security Testing for C.

Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020