659 search results - page 50 / 132 » Compiling and securing cryptographic protocols |
98
Voted
ACISP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...
103
Voted
NDSS
1999
IEEE
15 years 4 months ago
1999
IEEE
We present protocols that allow a user Alice, knowing only her name and password, and not carrying a smart card, to "log in to the network" from a "generic" wo...
92
Voted
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
91
Voted
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
122
Voted
PDCAT
2007
Springer
15 years 6 months ago
2007
Springer
When datasets are distributed on different sources, finding out their intersection while preserving the privacy of the datasets is a widely required task. In this paper, we addre...