Ran Canetti
   HOME

TheInfoList



OR:

Ran Canetti (Hebrew: רן קנטי) is a professor of
Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
at
Boston University Boston University (BU) is a private research university in Boston, Massachusetts. The university is nonsectarian, but has a historical affiliation with the United Methodist Church. It was founded in 1839 by Methodists with its original campu ...
. and the director of the
Check Point Check Point is an American-Israeli multinational provider of software and combined hardware and software products for IT security, including network security, endpoint security, cloud security, mobile security, data security and security managem ...
Institute for Information Security and of the Center for Reliable Information System and
Cyber Security Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
. He is also associate editor of the Journal of Cryptology and Information and Computation. His main areas of research span
cryptography Cryptography, or cryptology (from grc, , translit=kryptós "hidden, secret"; and ''graphein'', "to write", or ''-logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adver ...
and
information security Information security, sometimes shortened to InfoSec, is the practice of protecting information by mitigating information risks. It is part of information risk management. It typically involves preventing or reducing the probability of unauthorize ...
, with an emphasis on the design, analysis and use of
cryptographic protocol A security protocol (cryptographic protocol or encryption protocol) is an abstract or concrete protocol that performs a security-related function and applies cryptographic methods, often as sequences of cryptographic primitives. A protocol describe ...
s.


Biography

Born in 1962 in
Tel Aviv Tel Aviv-Yafo ( he, תֵּל־אָבִיב-יָפוֹ, translit=Tēl-ʾĀvīv-Yāfō ; ar, تَلّ أَبِيب – يَافَا, translit=Tall ʾAbīb-Yāfā, links=no), often referred to as just Tel Aviv, is the most populous city in the G ...
,
Israel Israel (; he, יִשְׂרָאֵל, ; ar, إِسْرَائِيل, ), officially the State of Israel ( he, מְדִינַת יִשְׂרָאֵל, label=none, translit=Medīnat Yīsrāʾēl; ), is a country in Western Asia. It is situated ...
, Canetti obtained his BA 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 Haifa ( he, חֵיפָה ' ; ar, حَيْفَا ') is the third-largest city in Israel—after Jerusalem and Tel Aviv—with a population of in . The city of Haifa forms part of the Haifa metropolitan area, the third-most populous metropol ...
. He received his PhD in 1995 from the
Weizmann Institute The Weizmann Institute of Science ( he, מכון ויצמן למדע ''Machon Vaitzman LeMada'') is a public research university in Rehovot, Israel, established in 1934, 14 years before the State of Israel. It differs from other Israeli univ ...
, Rehovot under the supervision of Prof.
Oded Goldreich Oded Goldreich ( he, עודד גולדרייך; b. 1957) is a professor of Computer Science at the Faculty of Mathematics and Computer Science of Weizmann Institute of Science, Israel. His research interests lie within the theory of computation ...
. 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 en, Shafrira Goldwasser , name = Shafi Goldwasser , image = Shafi Goldwasser.JPG , caption = Shafi Goldwasser in 2010 , birth_place = New York City, New York, U.S. , birth_date = , death_date ...
. 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), the definition of which was first published in 1996 in a paper by
Mihir Bellare Mihir Bellare is a cryptographer and professor at the University of California San Diego. He has published several seminal papers in the field of cryptography (notably in the area of provable security), many of which were co-written with Phillip R ...
, 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 Award for Excellence in Mathematics (2018). He is a Fellow of the Association of Cryptologic Research. 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


Current roles

Since July 2011, Canetti has been a Professor in the Department of Computer Science at Boston University and the Director for Research at the Center for Reliable Information Systems and Cyber Security (RISCS) at Boston University since September 2011. His current positions include being the Head of the Check Point Institute of Information Security at Tel Aviv University, the Editor for the Journal of Cryptography and Editor of Information and Computation, and an advisor at Identiq, a Peer-to-Peer Identity Validation Network. Canetti currently lives in Brookline, MA and is married with 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. * 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. * A chapter in the ''Journal of Cryptology Special Issue on Byzantine Agreement''. R. Canetti, (Ed.) Vol. 18, No. 3, 2005 * ''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. 42nd 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). Ran Canetti's Full List of Publications (1990-2018)


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 Award for Excellence in Mathematics RSA may refer to: Organizations Academia and education * Rabbinical Seminary of America, a yeshiva in New York City *Regional Science Association International (formerly the Regional Science Association), a US-based learned society *Renaissance S ...
2018 * 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 (
Rothschild Fellowship The Rothschild Fellowship program is a prestigious grant awarded annually by Yad Hanadiv (The Rothschild Foundation). The Rothschild Scholarship for Outstanding Young Researchers is a awarded since 1979 with the aim of helping outstanding young ...
), 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 16th 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 (PDF). See also accompanying paper. * The HMAC Construction: A Decade Later, given at MIT CIS Seminar, December 2005. Slides (PDF)


References

{{DEFAULTSORT:Canetti, Ran 1962 births Living people Boston University faculty IBM people Israeli cryptographers Israeli computer scientists Technion – Israel Institute of Technology alumni Tel Aviv University faculty Weizmann Institute of Science alumni