1825 search results - page 19 / 365 » Cryptographic Securities Exchanges |
138
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
1 Electronic fair-exchange protocols have received significant attention from the research community in the recent past. In loose terms, the fair exchange problem is defined as at...
123
Voted
CRYPTO
2008
Springer
15 years 4 months ago
2008
Springer
We propose a family of compression functions built from fixed-key blockciphers and investigate their collision and preimage security in the ideal-cipher model. The constructions ha...
145
Voted
JOC
2011
14 years 9 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
129
Voted
ASIACRYPT
2010
Springer
15 years 17 days ago
2010
Springer
So far, all solutions proposed for authenticated key agreement combine key agreement and authentication into a single cryptographic protocol. However, in many important applicatio...
110
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
The reachability problem for cryptographic protocols with nonatomic keys can be solved via a simple constraint satisfaction procedure.