24529 search results - page 142 / 4906 » Computing on Authenticated Data |
172
click to vote
CCS
2005
ACM
15 years 12 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...
162
click to vote
CIDM
2007
IEEE
15 years 6 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...
201
click to vote
CARDIS
2006
Springer
15 years 10 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...