947 search results - page 84 / 190 » Provable Implementations of Security Protocols |
SIGCOMM
1997
ACM
15 years 4 months ago
1997
ACM
Datagram services provide a simple,
exible, robust, and communication abstraction; their usefulness has been well demonstrated by the success of IP, UDP, and RPC. Yet, the overwh...
107
click to vote
ECBS
2008
IEEE
15 years 11 hour ago
2008
IEEE
Mobile payment has some unique advantages over more traditional payment methods in, for example, TV shopping and mobile multimedia services. Unfortunately, most existing mobile pa...
108
click to vote
EUROPAR
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Lattice basis reduction is the problem of finding short vectors in lattices. The security of lattice based cryptosystems is based on the hardness of lattice reduction. Fu...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
DAGSTUHL
2007
15 years 1 months ago
2007
Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic ...