Metadata only
Date
2008Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
21st IEEE Computer Security Foundations Symposium : proceedingsPages / Article No.
Publisher
IEEEEvent
Subject
Cryptographic protocols; cryptographic soundness; Formal methods; Simulatability; Theorem provingOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics