Discover Post-Quantum Cryptography with Wrenna Robson in London 🔐

Join Wrenna Robson as she explores the future of secure communication with post-quantum cryptography and how Lean is preparing for this new era. Check out her insightful slides here: https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/Post-Q...

Xena Project589 views39:04

About this video

Wrenna tells us about post-quantum crypto and how Lean is ready to do some of it. Her slides are here https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/Post-Quantum_Cryptography.pdf . London Learning Lean is a seminar where mathematicians discuss more advanced mathematical formalisations (i.e. typically beyond undergraduate level) in the Lean theorem prover. For a list of upcoming seminars, check out https://researchseminars.org/seminar/LondonLearningLean

Video Information

Views
589

Total views since publication

Likes
10

User likes and reactions

Duration
39:04

Video length

Published
Jul 1, 2022

Release date

Quality
hd

Video definition

Related Trending Topics

LIVE TRENDS

This video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!

THIS VIDEO IS TRENDING!

This video is currently trending in United States under the topic 'reese witherspoon'.

Share This Video

SOCIAL SHARE

Share this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!