576 search results - page 94 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
CRYPTO
2006
Springer
14 years 20 days ago
2006
Springer
This paper considers the problem of password-authenticated key exchange (PAKE) in a client-server setting, where the server authenticates using a stored password file, and it is de...
CSFW
2009
IEEE
14 years 26 days 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-...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...
ASPLOS
2010
ACM
14 years 8 days ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
STOC
2007
ACM
14 years 9 months ago
2007
ACM
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...