375 search results - page 55 / 75 » What is Correctness of Security Protocols |
172
click to vote
ECRIME
2007
15 years 9 months ago
2007
Tools that aim to combat phishing attacks must take into account how and why people fall for them in order to be effective. This study reports a pilot survey of 232 computer users...
182
click to vote
ESEM
2010
ACM
15 years 4 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...
153
click to vote
ACNS
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. Two-party Secure Function Evaluation (SFE) is a very useful cryptographic tool which allows two parties to evaluate a function known to both parties on their private (sec...
152
click to vote
ACNS
2005
Springer
15 years 11 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
171
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...