1825 search results - page 46 / 365 » Cryptographic Securities Exchanges |
108
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
128
Voted
CCS
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present a new ID-based two-party authenticated key exchange (AKE) protocol, which makes use of a new technique called twin Diffie-Hellman problem proposed by Cas...
130
Voted
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
117
Voted
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
111
click to vote
TIT
2008
15 years 3 months ago
2008
We investigate the decoding problem of Reed-Solomon (RS) Codes, also known as the Polynomial Reconstruction Problem (PR), from a cryptographic hardness perspective. Namely, we dea...