Journal of Cryptology · 2014 · 98 citations · 20 references
ComputingComputer EngineeringComputer ScienceComputer SecurityCryptographySecurity ProtocolsAuthenticated EncryptionAuthentication ProtocolsCryptographic Protocol DesignMutual AuthenticationProtocol VerificationSecurity Protocol VerificationCollision ResistanceFormal Verification Of Authentication ProtocolsFormal Verification Of Cryptographic ProtocolsProtocol Security ProofsSecurity Proofs
20
The MD5 Message-Digest Algorithm
Rivest · Medical Entomology and Zoology · 1992 · 2.9K citations
Universal classes of hash functions
J.Lawrence Carter, Mark N. Wegman · Journal of Computer and System Sciences · 1979 · 2.6K citations
How to construct random functions
Oded Goldreich, Shafi Goldwasser, Silvio Micali · Journal of the ACM · 1986 · 2.1K citations · Full text
A concrete security treatment of symmetric encryption
Mihir Bellare, Anand Desai, E. Jokipii et al. · 2002 · 925 citations