Karim Eldefrawy, Ph.D., is a Principal Computer Scientist at the Computer Science Laboratory (CSL) at SRI International. His research interests lie in secure and privacy-preserving computation for distributed systems, security in cyber-physical and embedded systems, and computer-aided formal verification of cryptographic algorithms and protocols. His research is funded by the Defense Advanced Research Project Agency (DARPA), the Department of Homeland Security (DHS), and the Intelligence Advanced Research Projects Activity (IARPA), and (in the past) Boeing and General Motors. He authored over 100 scientific works (65+ peer-reviewed papers and book chapters, 25+ granted and 10+ pending patents). Karim served on the technical program committees of several top academic conferences on security and cryptography and was the information director of ACM Transactions on Privacy and Security (formerly ACM TISSEC) from 2011 to 2015. He taught courses on security and cryptography at the University of California at Irvine (UCI) and the University of San Francisco (USF).