 M. Bellare
Practiceoriented provablesecurity
Proceedings of
First International Workshop on Information Security (ISW 97), Lecture
Notes in Computer Science Vol. 1396, E. Okamoto, G. Davida and M. Mambo eds.,
Springer Verlag, 1998.
 M. Bellare, R. Canetti, and H. Krawczyk
Message authentication using hash
functions: The HMAC construction
RSA Laboratories' CryptoBytes,
Vol. 2, No. 1, Spring 1996.

M. Bellare
Proof Checking and Approximation: Towards
Tight Results
This is a slightly expanded version of a survey
that appears in the Complexity Theory Column of Sigact News, Vol. 27,
No. 1, March 1996.
Contributions to standards

H. Krawczyk, M. Bellare, R. Canetti
HMAC: KeyedHashing for Message
Authentication
Internet RFC 2104, February 1997.
 M. Abdalla, M. Bellare and P. Rogaway
DHIES: An Encryption Scheme Based on the DiffieHellman Problem
In IEEE P1363a, ANSI X9.63EC, and SECG.
 M. Bellare, P. Rogaway and D. Wagner
EAX: A Conventional Authenticated Encryption Mode
In NIST Block Cipher Modes Development.
 P. Rogaway, M. Bellare, J. Black and T. Krovetz
OCB: A
BlockCipher Mode of Operation for Efficient Authenticated Encryption
In draft standard IEEE
P802.11e. Proposed to NIST.
 J. Vance and M. Bellare
DFF: Delegatable Feistelbased Formatpreserving Encryption Mode
In NIST Block Cipher Modes Development.
 M. Bellare, P. Rogaway and T. Spies
FFX: Formatpreserving Feistelbased Encryption Mode ; Addendum
In NIST Block Cipher Modes Development.
 M. Bellare, T. Kohno and C. Namprempre
The Secure Shell (SSH) Transport Layer Encryption Modes
Internet RFC 4344, January 2006.