Brief Bio

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 (75+ peer-reviewed papers and book chapters, 28 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).

Publications, Patents, and Writings

Publications (75) listed here, and Google Scholar & Academia.edu
Patents (28) listed here
Short informal articles listed here

Projects and Software

Extramurally funded research projects listed here
Long-term research threads/projects on ResearchGate
Open source software for selected projects here

Commercial Transitions

Co-founder and CTO of Confidencial, Inc

Talks, News, and Articles

Resume

More details in full resume (last updated in July 2020)
SRI profile here
LinkedIn profile here

Contact

Startup: {firstname_dot_lastname} + {@} + {name_of_my_startup_dot_io}
Research: {firstname_dot_lastname} + {@} + {sri_dot_com}
Personal: {lastname} + {@} + {email_of_most_famous_search_engine}
Personal Encrypted (if you use it too): {lastname} + {@} + {positive_particle_in_atomic_nuclei_email_service}