1825 search results - page 75 / 365 » Cryptographic Securities Exchanges |
112
Voted
FCT
2003
Springer
15 years 8 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
126
Voted
ICCD
2006
IEEE
16 years 15 days ago
2006
IEEE
— High secure cryptographic systems require large bit-length encryption keys which presents a challenge to their efficient hardware implementation especially in embedded devices...
118
Voted
ASAP
2004
IEEE
15 years 7 months ago
2004
IEEE
We describe a general-purpose processor architecture for accelerating public-key computations on server systems that demand high performance and flexibility to accommodate large n...
127
Voted
FC
2010
Springer
15 years 2 months ago
2010
Springer
This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the ...
133
Voted
DRM
2003
Springer
15 years 8 months ago
2003
Springer
In PODC 2003, Park, Chong, Siegel and Ray [22] proposed an optimistic protocol for fair exchange, based on RSA signatures. We show that their protocol is totally breakable already...