273 search results - page 55 / 55 » Modular Security Proofs for Key Agreement Protocols |
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
CRYPTO
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
STOC
2007
ACM
14 years 5 months ago
2007
ACM
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...