48 search results - page 10 / 10 » Computer-Aided Security Proofs for the Working Cryptographer |
CSFW
2009
IEEE
13 years 9 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-...
KDD
2006
ACM
14 years 6 months ago
2006
ACM
The output of a data mining algorithm is only as good as its inputs, and individuals are often unwilling to provide accurate data about sensitive topics such as medical history an...
PET
2010
Springer
13 years 9 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...