SoK: Computer-Aided Cryptography

Explore the field of computer-aided cryptography in this 15-minute IEEE presentation. Gain insights into the systematic approach of using computer assistance to enhance cryptographic design, analysis, and implementation. Learn about the latest developments, challenges, and potential applications of this cutting-edge technology in securing digital communications and data protection.