Search Results - "Stegers, T."
-
1
-
2
Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01-07-2009)“…Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or…”
Get full text
Conference Proceeding