1190 search results - page 120 / 238 » Secure off-the-record messaging |
98
Voted
OOPSLA
1991
Springer
15 years 4 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
104
click to vote
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or...
114
click to vote
NDSS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents the design and analysis of a multilayer protection scheme against denial-of-service (DoS) attacks in IP telephony enabled enterprise networks. While there are ...
111
Voted
EUROCRYPT
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we present a new multi-authority secret-ballot election scheme that guarantees privacy, universal verifiability, and robustness. It is the first scheme for which the ...