6 search results - page 2 / 2 » Compositionality of Security Protocols: A Research Agenda |
ASIACRYPT
2011
Springer
12 years 4 months ago
2011
Springer
The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests ...