关注
Max Ammann
Max Ammann
Security Researcher
在 tum.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Dy fuzzing: formal Dolev-Yao models meet cryptographic protocol fuzz testing
M Ammann, L Hirschi, S Kremer
2024 IEEE Symposium on Security and Privacy (SP), 1481-1499, 2024
122024
Maplibre-rs: toward portable map renderers
M Ammann, A Drabble, J Ingensand, B Chapuis
The International Archives of the Photogrammetry, Remote Sensing and Spatial …, 2022
2022
系统目前无法执行此操作,请稍后再试。
文章 1–2