Scholar
Matthias Cosler
Google Scholar ID: _4VZ1e4AAAAJ
PhD Student, CISPA Helmholtz Center for Information Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
167
H-index
4
i10-index
2
Publications
4
Co-authors
3
list available
Publications
3 items
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
2026
Cited
0
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026
Cited
0
Learning Representations Through Contrastive Neural Model Checking
2025
Cited
0
Co-authors
3 total
Frederik Schmitt
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
Christopher Hahn
Google DeepMind
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
