Karim Eldefrawy, Ph.D., is the Co-founder and CTO of Confidencial.io. Prior to that he was a Principal Computer Scientist at the Computer Science Laboratory (CSL) at SRI International. His research and development 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 has been funded by the Defense Advanced Research Project Agency (DARPA), the Department of Homeland Security (DHS), the Intelligence Advanced Research Projects Activity (IARPA), the National Science Foundation (NSF), the US AirForce (AFWERX), and Boeing and General Motors. He authored over 100 scientific works (75+ peer-reviewed papers and book chapters, 29 granted and 10+ pending patents). Karim served on technical program committees of 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 security and cryptography courses at the University of California at Irvine (UCI) and the University of San Francisco (USF).