2303 search results - page 47 / 461 » The Cryptographic Abstract Machine |
125
Voted
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
lative Novelty to Identify Useful Temporal Abstractions in Reinforcement Learning ?Ozg?ur S?im?sek ozgur@cs.umass.edu Andrew G. Barto barto@cs.umass.edu Department of Computer Scie...
188
click to vote
CRYPTO
1999
Springer
15 years 6 months ago
1999
Springer
We describe a message authentication algorithm, UMAC, which can authenticate messages (in software, on contemporary machines) roughly an order of magnitude faster than current prac...
114
Voted
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
96
Voted
ACNS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...
125
Voted
TCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...