610 search results - page 26 / 122 » Information-theoretically secure protocols and security unde... |
JCS
2010
14 years 4 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
86
Voted
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...
ISW
2009
Springer
15 years 4 months ago
2009
Springer
We analyze the Password Authenticated Connection Establishment (PACE) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Secur...
ASIACRYPT
2010
Springer
14 years 7 months ago
2010
Springer
Private Set Intersection (PSI) protocols allow one party ("client") to compute an intersection of its input set with that of another party ("server"), such tha...
IMA
1997
Springer
15 years 1 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...