Scholar

Matthias Cosler

Google Scholar ID: _4VZ1e4AAAAJ

PhD Student, CISPA Helmholtz Center for Information Security

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

167

H-index

4

i10-index

2

Publications

4

Co-authors

3

list available

Contact

No contact links provided.

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

Resume (English only)

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