42 search results - page 9 / 9 » A Cryptographically Sound Security Proof of the Needham-Schr... |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
We extend the Camenisch-Lysyanskaya anonymous credential system such that selective disclosure of attributes becomes highly efficient. The resulting system significantly improves ...
CSFW
2009
IEEE
13 years 8 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...