Cas Cremers
Scholar

Cas Cremers

Google Scholar ID: 3uT_2lcAAAAJ
CISPA Helmholtz Center for Information Security
SecurityComputer SecurityInformation SecurityCryptographyAutomated Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
11,141
 
H-index
49
 
i10-index
96
 
Publications
20
 
Co-authors
101
list available
Contact
No contact links provided.
Publications
1 items
Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
2026
Cited
0
Resume (English only)
Co-authors
101 total
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Ralf Sasse
Ralf Sasse
Senior Scientist in Computer Science, ETH Zurich
Sjouke Mauw
Sjouke Mauw
Professor in Security and Trust of Software Systems, University of Luxembourg
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8