1825 search results - page 89 / 365 » Cryptographic Securities Exchanges |
186
click to vote
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
156
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Randomization is vital in cryptography: secret keys should be randomly generated and most cryptographic primitives (e.g., encryption) must be probabilistic. As a bstraction, it is...
165
click to vote
CSREASAM
2004
15 years 7 months ago
2004
A VPN establishes a secure network using the insecure media of the Internet. However, before a VPN can be established keys must be exchanged between the communicating peers. In th...
165
click to vote
AINA
2007
IEEE
16 years 19 days ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...
183
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...