Christian Martin, M.Sc.

  • Am Fasanengarten 5
    76131 Karlsruhe


Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
Lanzinger, F.; Martin, C.; Reiche, F.; Teuber, S.; Heinrich, R.; Weigl, A.
2024. SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. Ed.: J. Hong, 1702–1711, Association for Computing Machinery (ACM). doi:10.1145/3605098.3636008
Post-Quantum Ready Key Agreement for Aviation
Tiepelt, M.; Martin, C.; Maeurer, N.
2024. IACR Communications in Cryptology, 1 (1), 17. doi:10.62056/aebn2isfg