Statistics
Publications
1
Citations
67
H-Index
1
Active since
2006
Affiliations
Saarland University(Current)
D. Basin is an author at Saarland University specializing in cryptographic soundness, security protocol verification, and formal methods.
Publications per year
2006–2006
1
1
Cryptographically Sound Theorem Proving
Christoph Sprenger, M. Backes, D. Basin et al. · 2006 · 67 citations
1–1 of 1