Ran Canetti

Ran Canetti (Hebrew: רן קנטי) is a professor of Computer Science at Boston University [1] and Tel Aviv University [2]. He is also the director of the Check Point Institute for Information Security [3] and of the Center for Reliable Information System and Cyber Security. He is also associate editor of the Journal of Cryptology and Information and Computation [4]. His main areas of research span cryptography and information security [5], with an emphasis on the design, analysis and use of cryptographic protocols.

Biography

Born in 1962 in Tel Aviv, Israel, Canetti obtained his BA in Physics in Computer Science in 1989, his BA in Physics in 1990, and his M.Sc in Computer Science in 1991, all from the Technion, Haifa. He received his PhD in 1995 from the Weizmann Institute, Rehovot under the supervision of Prof. Oded Goldreich. He then completed his post-doctoral training at the Lab of Computer Science, at the Massachusetts Institute of Technology (MIT) in 1996 under the supervision of Prof. Shafi Goldwasser. He then joined IBM’s T.J. Watson Research Center and was a Research Staff Member until 2008. Canetti is known for his contribution to both the practice and theory of cryptography. Prominent contributions include the Keyed-Hash Message Authentication Code (HMAC) [6], the definition of which was first published in 1996 in a paper by Mihir Bellare, Ran Canetti, and Hugo Krawczyk, and the formulation of the Universally Composable Security framework, which allows analyzing security of cryptographic protocols in a modular and robust way. Canetti is the recipient of the RSA Aware for Excellent in Mathematics (2018). He is a Fellow of the Association of Cryptologic Research [7]. He received the IBM Research Outstanding Innovation Award in 2006, the IBM Corporate Award in 2005, the IBM Research Division Award in 1999, two IBM Best Paper Awards and the Kennedy Thesis Award from The Weizmann Institute in 1996.

Current Roles

Since July 2011, Canetti has been a Professor in the Department of Computer Science at Boston University and the Associate Director for Research at the Center for Reliable Information Systems and Cyber Security (RISCS) at Boston University since September 2011 [8]. His current positions include being the Head of the Check Point Institute of Information Security at Tel Aviv University as well as the Editor for the Journal of Cryptography and Editor of Information and Computation [9]. Canetti currently lives in Brookline, MA and is married two children.

Patents

Canetti’s registered patents and recognized and authorized standards include:

R Canetti, S. Halevi, M. Steiner. Mitigating Dictionary Attacks on Password-Based Local Storage. Patent application submitted August 2006.

R. Canetti, M. Charikar, R. Kumar, S. Rajagopalan, A. Sahai, A. Tomkins. Non-transferable Anonymous Credentials. U.S. Patent No. 7,222,362, May 2007.

R. Canetti and A. Herzberg, A Mechanism for Keeping a Key Secret from Mobile Eavesdroppers. US patent No. 5,412,723, May 1995. 4

R. Canetti and A. Herzberg, Secure Communication and Computation in an Insecure Environment. US patent No. 5,469,507, November 1995.

Standards

M. Baugher, R. Canetti, L. Dondeti, F. Lindholm, “Group Key management Architecture,” Internet Engineering Task Force RFC 4046, 2005.

A. Perrig, R. Canetti, B. Briscoe, D. Tygar, D. Song, “TESLA: Multicast Source Authentication Transform”, Internet Engineering Task Force RFC 4082, 2005.

H. Krawczyk, M. Bellare and R. Canetti, “HMAC: Keyed-Hashing for Message Authentication”, Internet Engineering Task Force RFC 2104, February 1997. Also appears as an American National Standard Institute (ANSI) standard X9.71 (2000), and as a Federal Information Processing Standard No. 198, National Institute of Standards and Technology (NIST), 2002.

Books

Canetti has also authored several books including: Security and Composition of Cryptographic Protocols, A Chapter in Secure Multiparty Computation, Ed. Manoj Prabhakaran and Amit Sahai. Cryptology and Information Security Series, IOS Press, 2013. In addition, a chapter in the Journal of Cryptology Special Issue on Byzantine Agreement. R. Canetti, (Ed.) Vol. 18, No. 3, 2005 and

Chapter on the Decisional Diffie-Hellman assumption. Encyclopedia of Cryptography and Security, H. van Tilborg, Henk (Ed.), Springer-Verlag, 2005.

Publications

Bellare, Mihir; Canetti, Ran; Krawczyk, Hugo. Keying Hash Functions for Message Authentication, 1996

R.Canetti, Universally Composable Security: A New Paradigm for Cryptographic Protocols. 42^nd FOCS, 2001

N.Bitansky, R.Canetti, O. Paneth, A. Rosen. On the Existence of Extractable One-Way Functions, STOC, 2014

Ran Canetti, Yilei Chen, Leonid Reyzin, Ron D. Rothblum 2018: Fiat-Shamir and Correlation Intractability from Strong KDM-Secure Encryption. EUROCRYPT(1): 91-122.

Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala (2018): Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94: 63-97.

Some of Canetti’s past activities include being a co-organizer of the Crypto in the Clouds Workshop at MIT (2009, co-organizer of the CPIIS TAU/IDC Workshop on Electronic voting (2009), co-organizer of the Theoretical Foundations of Practical Information Security workshop (2008). He was also the Program Committee chair for the Theory of Cryptography Conference (2008) and for eight years was the co-chair of the Multicast Security Working Group at the Internet Engineering Task Force (2000-2008).

Areas of Research

His research interests span multiple aspects of cryptography and information security, with emphasis on the design, analysis and use of cryptographic protocols.

Awards

RSA Conference Award 2018 for Excellence in the Field of Mathematics [10].

IBM Research Outstanding Innovation Award, 2006. Given for work on sound foundations for modern cryptography.

IBM Corporate Award, 2005. Given for the continued impact of the HMAC algorithm.

IBM Research Best Paper Award, 2004

IBM Research Outstanding Innovation Award, 2004

IBM Research Best Paper Award, 2001

IBM Research Division Award, 1999. Given for contribution to the IPSEC standard.

IBM Innovation Award, 1997. Given for the design of the HMAC message authentication function.

The Kennedy Thesis Award, The Weizmann Institute, 1996

The Rothschild post-doctoral scholarship, 1995-6

The Gutwirth Special Excellence Fellowship, the Technion, 1992

Public Appearances

Canetti has spoken at major conferences worldwide including the below selection of keynote talks:

Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency, given at ICALP 2008, Reykjavik, Iceland 2008. See the accompanying paper

Obtaining Universally Composable Security: Towards the Bare Bones of Trust, given at AsiaCrypt 2007, Kuching, Malaysia, December 2007,  Slides (PDF). See also accompanying paper.

How to Obtain and Assert Composable Security, given at the 16^th Usenix Security Symposium, Boston, MA, August 2007, Slides (PDF) and audio recording (mp3)

Universally Composable Security with Global Set-Up, given at IPAM Program on Applications and Foundations of Cryptography and Computer Security UCLA, November 2006, Slides (PDF)

Security and Composition of Cryptographic Protocols: A Tutorial, given at IPAM Program on Applications and Foundations of Cryptography and Computer Security UCLA, September, 2006. Slides (PPT). See also accompanying paper.

The HMAC Construction: A Decade Later, given at MIT CIS Seminar, December 2006. Slides (PDF)

[11 [12] [13] [14]

References

[1] Home Page of Ran Canetti at Boston University

[2] Ran Canetti’s Profile Page at Tel Aviv University

[3] Ran Canetti at the Check Point Institute for Information Security.

[4] Ran Canetti as an editor for the Journal of Cryptology

[5] Ran Canetti research topics

[6] Bellare, Mihir; Canetti, Ran; Krawczyk, Hugo (1996). "Keying Hash Functions for Message Authentication".

[7] Ran Canetti as a Fellow of the Association of Cryptologic Research

[8] Ran Canetti as the Associate Director of Research at the Center for Reliable Information Systems and Cyber Security (RISCS) at Boston University.

[9] Ran Canetti as an editor of the Information and Computation Journal

[10] ‘CAS Computer Scientist Honored for Cryptography Innovation’ Boston University, 2018

[11] Ran Canetti’s Profile Page at the Simon’s Institute for the Theory of Computing

[12] Ran Canetti’s full list of publications (1990-2018)

[13] Ran Cantti at the Mathematics Genealogy Project

[14] Member of the UCL Crypto Group

Born

1962

Nationality

Israeli-American

Almer Mater

Technion (BA, MSc) Weizmann Institute (PhD)

Known For

Keyed-Hash Message Authentication Code (HMAC) Universally Composable (UC) Security

Awards

RSA Conference Award 2018 for Excellence in the Field of Mathematics Fellow of the International Association for Cryptologic Research IBM Research Outstanding Innovation Award, 2006 IBM Corporate Award, 2005 IBM Research Best Paper Award, 2004 IBM Research Outstanding Innovation Award, 2004 IBM Research Division Award, 1999 IBM Innovation Award, 1997 The Kennedy Thesis Award, The Weizmann Institute, 1996. The Rothschild post-doctoral scholarship, 1995-6. The Gutwirth Special Excellence Fellowship, The Technion, 1992

Patents

Mitigating Dictionary Attacks on Password-Based Local Storage Non-transferable Anonymous Credentials A Mechanism for Keeping a Key Secret from Mobile Eavesdroppers Secure Communication and Computation in an Insecure Environment

Fields

Cryptography

Institutions

Boston University Tel Aviv University Center for Reliable Information System and Cyber Security Check Point Institute for Information Security

Doctoral Advisor

Prof. Oded Goldreich

Post Doctoral Advisor

Prof. Shafi Goldwasser

Doctoral Students

Yilei Chen (PhD, Boston University, 2018). Now at Visa Research Omer Paneth (PhD, Boston University, 2016). Now faculty at Tel Aviv University Ben Riva (PhD, Tel Aviv University, 2014). Now at Google Nir Bitansky (PhD, Tel Aviv University, 2014). Now faculty at Tel Aviv University Mayank Varia (PhD, MIS, 2010) now faculty at Boston University Rita Vald (PhD, Tel Aviv university) Oxana Poburinnaya (PhD, Boston University)

Post Doctoral Advisees

Xio Wang (PhD, UMD, 2018-19) Ran Cohen (PhD, Bar Ilan, 2018-19) Alessandra Scafuro (PhD U Salerno, 2014-16) Abhishek Jain (PhD UCLA, since 2012-14) Rachel Huijia Lin (PhD Cornell, since 2011-23) Adam O’neill (PhD GeorgiaTech, since 2011-13) Noam Livne (PhD Weizmann, 2010-11) Sebastian Gajek (PhD Bochum, 2009-2011)

Full Publications List

Full List of Publications (1990-2018) [5]