741 search results - page 110 / 149 » Verification of security protocols using LOTOS-method and ap... |
135
Voted
STOC
2007
ACM
16 years 4 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...
168
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
126
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
174
Voted
PEWASUN
2004
ACM
15 years 9 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
118
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...