1825 search results - page 81 / 365 » Cryptographic Securities Exchanges |
128
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
131
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple q...
134
Voted
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
130
Voted
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
We formalize the notion of a cryptographic counter, which allows a group of participants to increment and decrement a cryptographic representation of a (hidden) numerical value pri...
124
Voted
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...