273 search results - page 53 / 55 » Modular Security Proofs for Key Agreement Protocols |
IJACT
2008
14 years 11 months ago
2008
: In the absence of sufficiently optimised public key constructions, anonymous authentication for Radio-Frequency Identification Devices (RFIDs) requires state synchronisation betw...
100
click to vote
EUROCRYPT
2005
Springer
15 years 5 months ago
2005
Springer
A (1,2)-robust combiner for a cryptographic primitive P is a construction that takes two candidate schemes for P and combines them into one scheme that securely implement P even i...
102
click to vote
CRYPTO
2007
Springer
15 years 5 months ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
102
click to vote
JOC
2011
14 years 2 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...