Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

IEEE via YouTube

Overview

Explore a cutting-edge IEEE conference talk on developing a logic and interactive prover for assessing the computational post-quantum security of protocols. Delve into the research presented by experts from CISPA Helmholtz Center for Information Security and Université Paris-Saclay, as they discuss innovative approaches to ensuring protocol security in the era of quantum computing. Learn about the challenges and solutions in creating robust security measures that can withstand potential threats from quantum algorithms. Gain insights into the latest advancements in formal methods and cryptographic protocol analysis, and understand how these tools can be applied to enhance the security of communication systems in a post-quantum world.

Syllabus

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Taught by

IEEE Symposium on Security and Privacy

Reviews

Start your review of A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.