Tal Rabin
Director, Cryptographic Foundations, AWS
Tal Rabin is the Director of the Cryptographic Foundations group at AWS. Prior to joining AWS, she was a Professor of Computer Science at the University of Pennsylvania, the Head of Research at Algorand Foundation, and worked at IBM Research for 23 years as a Distinguished Research Staff Member and Manager of the Cryptographic Research Group.
Tal is a cryptographer by training and her research focuses on secure multiparty computation, threshold cryptography, and proactive security. She initiated and organizes the Women in Theory Workshop, a biennial event for graduate students in Theory of Computer Science. Tal is currently Chair of the SIGACT Executive Committee. She is an ACM Fellow, an IACR Fellow, and a member of the American Academy of Arts and Sciences.
Tal’s work won the Dijkstra Prize of 2023 and the 30-year Test of Time Award at ACM STOC. She was the 2019 recipient of the RSA Award for Excellence in the Field of Mathematics and was named by Forbes in 2018 as one of the World’s Top 50 Women in Tech. In 2014, Tal won the Anita Borg Women of Vision Award for Innovation and was ranked No. 4 on Business Insider’s 22 Most Powerful Women Engineers in the World.
Shai Halevi
Senior Principal Scientist, AWS
Dr. Shai Halevi received his PhD in Computer Science in 1997 from MIT. He was a Principal Researcher with IBM Research until 2019, then a Research Fellow at the Algorand Foundation until 2023 before joining AWS as a Senior Principal Scientist in July 2023. Shai is a Fellow and a Director of the International Association for Cryptologic Research. He received the 2017 ACM SIGSAC Outstanding Innovation Award and several Best Paper and Test of Time Awards for his works. Shai also wrote HElib, the first open source software library for homomorphic encryption.
Hugo Krawczyk
Senior Principal Scientist, AWS
Hugo Krawczyk is an Argentine-Israeli cryptographer best known for co-inventing the HMAC message authentication algorithm and contributing in fundamental ways to the cryptographic architecture of central internet standards, including IPsec, IKE, and SSL/TLS. In particular, both IKEv2 and TLS 1.3 use Hugo’s SIGMA protocol as the cryptographic core of their key exchange procedures. He has also contributed foundational work in the areas of threshold and proactive cryptosystems and searchable symmetric encryption, among others.
Hugo is the author of many other cryptographic algorithms and protocols, including the HMQV key exchange protocol, the LFSR-based Toeplitz Hash Algorithm, the shrinking generator encryption scheme, the UMAC message authentication code, and the randomized hashing scheme for strengthening digital signatures. He won the RSA Conference Award for Excellence in the Field of Mathematics in 2015, the Levchin Prize for contributions to real-world cryptography in 2018, and two IBM corporate awards. He is a Fellow of the International Association for Cryptologic Research (IACR) and the recipient of the 2019 NDSS Test of Time Award for his 1996 paper, “SKEME: A versatile secure key exchange mechanism for internet,” a precursor to KEM-based key exchange protocols central to developing post-quantum key exchange standards.
Peter M. O’Donnell (moderator)
Principal Solutions Architect, Security, AWS
Peter M. O’Donnell is an AWS Principal Solutions Architect (SA) specializing in security, risk, and compliance with the Strategic Accounts team. He has been an AWS SA for nine years and supports some of the largest and most complex strategic customers in security and security-related topics, including data protection, cryptography, identity, threat modeling, compliance, security culture, CISO engagement, and more.
A former Unix System Administrator turned Risk Management Consultant, Peter joined AWS as an Enterprise Solutions Architect in 2015 and was dedicated to a major US bank to support their journey to go all in on the cloud. In 2019, he transitioned to a Security Specialist SA role with the Strategic Accounts team, where he has built deep technical relationships with security teams and CISOs by helping to keep them safe and secure on AWS.
Peter has passed the Solutions Architect Professional, DevOps Engineer Professional, and Security Specialty AWS Certification exams. He received a Bachelor of Science in Computer Information Systems from American University and an MBA from George Washington University.