659 search results - page 51 / 132 » Compiling and securing cryptographic protocols |
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
130
Voted
JCS
2011
14 years 7 months ago
2011
We explore a new direction towards solving the identity authentication problem in RFID systems. We break the RFID authentication process into two main problems: message authenticat...
119
Voted
CCS
2010
ACM
15 years 20 days ago
2010
ACM
In this paper, we outline a privacy-preserving matching protocol for OSN (online social network) users to find their potential friends. With the proposed protocol, a logged-in use...
110
click to vote
IJISEC
2006
15 years 14 days ago
2006
Abstract Privacy has become a factor of increasing importance in auction design. We propose general techniques for cryptographic first-price and (M + 1)st-price auction protocols t...
91
Voted
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...