5488 search results - page 319 / 1098 » On the Secure Implementation of Security Protocols |
171
click to vote
CRYPTO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We consider the central cryptographic task of secure twoparty computation, where two parties wish to compute some function of their private inputs (each receiving possibl...
150
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...
186
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...
192
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
We explore the security of blind signatures under aborts where the user or the signer may stop the interactive signature issue protocol prematurely. Several works on blind signatur...
156
click to vote
ACSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...