Christoph Gentsch

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Security Verification of the Station-to-Station based Cell-attachment Procedure of LDACS.
Proceedings of the 18th International Conference on Security and Cryptography, 2021

A Secure Cell-Attachment Procedure of LDACS.
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020
Benchmarking Open-Source Static Analyzers for Security Testing for C.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020


  Loading...