1825 search results - page 17 / 365 » Cryptographic Securities Exchanges |
ACSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
The widespread use of public networks, such as the Internet, for the exchange of sensitive data, like legally valid documents and business transactions, poses severe security cons...
118
click to vote
CTRSA
2010
Springer
15 years 8 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
143
click to vote
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
116
click to vote
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
117
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...