3115 search results - page 296 / 623 » Synthesizing Secure Protocols |
188
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
For the most compelling applications of threshold cryptosystems, security against chosen ciphertext attack is a requirement. However, prior to the results presented here, there ap...
164
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic ...
154
click to vote
INFORMATIKTAGE
2008
15 years 8 months ago
2008
: This thesis focuses on the practical aspects of general two-party Secure Function Evaluation (SFE). A new SFE protocol that allows free evaluation of XOR gates and is provably se...
194
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
143
click to vote
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
The Hill cipher is a classical symmetric encryption algorithm that succumbs to the know-plaintext attack. Although its vulnerability to cryptanalysis has rendered it unusable in p...