132 search results - page 11 / 27 » Modelling Attacker's Knowledge for Cascade Cryptographic Pro... |
FOCS
2010
IEEE
14 years 7 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
96
Voted
TCS
2008
14 years 9 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...
COMPSEC
2010
14 years 9 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
MOBIHOC
2007
ACM
15 years 9 months ago
2007
ACM
Disruption-Tolerant Networks (DTNs) deliver data in network environments composed of intermittently connected nodes. Just as in traditional networks, malicious nodes within a DTN ...
101
click to vote
ASIACRYPT
2004
Springer
15 years 2 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...