18 search results - page 3 / 4 » Deciding security properties for cryptographic protocols. Ap... |
CSFW
2012
IEEE
11 years 8 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
NDSS
2008
IEEE
14 years 5 days ago
2008
IEEE
Although several wide-spread internet applications (e.g., job-referral services, dating services) can benefit from online matchmaking, protocols defined over the past two decade...
CDC
2008
IEEE
14 years 8 days ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
JOC
2011
13 years 22 days 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...
SPW
2004
Springer
13 years 11 months ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...