1825 search results - page 46 / 365 » Cryptographic Securities Exchanges |
137
click to vote
ICALP
2005
Springer
15 years 11 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...
166
click to vote
CCS
2009
ACM
16 years 6 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...
163
click to vote
ESORICS
2005
Springer
15 years 11 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...
149
click to vote
ESORICS
2003
Springer
15 years 11 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...
142
click to vote
TIT
2008
15 years 5 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...