659 search results - page 39 / 132 » Compiling and securing cryptographic protocols |
113
click to vote
TC
2008
15 years 10 days ago
2008
RFID (Radio Frequency IDentification) tags need to include security functions, yet at the same time their resources are extremely limited. Moreover, to provide privacy, authenticat...
91
Voted
SCN
2004
Springer
15 years 5 months ago
2004
Springer
Unsolicited and undesirable e-mail (spam) is a growing problem for Internet users and service providers. We present the Secure Internet Content Selection (SICS) protocol, an effic...
100
click to vote
ASIACRYPT
2007
Springer
15 years 4 months ago
2007
Springer
Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversa...
86
Voted
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...
111
Voted
PERCOM
2007
ACM
16 years 1 days ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...