1190 search results - page 120 / 238 » Secure off-the-record messaging |
161
click to vote
OOPSLA
1991
Springer
15 years 10 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...
159
click to vote
LPAR
2007
Springer
16 years 16 days 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...
176
click to vote
ESCIENCE
2006
IEEE
16 years 14 days 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...
188
click to vote
NDSS
2003
IEEE
15 years 11 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 ...
180
click to vote
EUROCRYPT
1997
Springer
15 years 10 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 ...