24529 search results - page 142 / 4906 » Computing on Authenticated Data |
128
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
107
Voted
HIPC
2005
Springer
15 years 8 months ago
2005
Springer
64
Voted
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
117
Voted
CIDM
2007
IEEE
15 years 2 months ago
2007
IEEE
— Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, aft...
160
Voted
CARDIS
2006
Springer
15 years 6 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...