216 search results - page 39 / 44 » Models and Proofs of Protocol Security: A Progress Report |
CCS
2010
ACM
13 years 4 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
ACSC
2008
IEEE
14 years 1 months ago
2008
IEEE
We propose a more efficient privacy preserving set intersection protocol which improves the previously known result by a factor of O(N) in both the computation and communication c...
ESEM
2010
ACM
13 years 5 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Once quantum computers reach maturity most of today's traditional cryptographic schemes based on RSA or discrete logarithms become vulnerable to quantum-based attacks. Hence, ...
EUROCRYPT
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...