659 search results - page 44 / 132 » Compiling and securing cryptographic protocols |
97
Voted
FOSAD
2000
Springer
15 years 4 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
114
click to vote
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
Mainly for scalability reasons, many cryptographic security protocols make use of public key cryptography and require the existence of a corresponding public key infrastructure (P...
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
Important properties of many protocols are liveness or availability, i.e., that something good happens now and then. In asynchronous scenarios these properties obviously depend on...
118
click to vote
EUROCRYPT
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...