Christian Martin, M.Sc.
- Research Associate
- Room: 250
CS 50.34 - Phone: +49 721 608-41863
- christian martin ∂does-not-exist.kit edu
- Am Fasanengarten 5
76131 Karlsruhe
Publications
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
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
Tiepelt, M.; Martin, C.; Maeurer, N.
2024. IACR Communications in Cryptology, 1 (1), 17. doi:10.62056/aebn2isfg