Evaluating Symbolic Security in Cryptographic Modes of Operation

Presentation by Hai Lin from Clarkson University at the 35th International Workshop on Unification (UNIF 2021) discussing the assessment of symbolic security for various cryptographic modes.

FSCD 202116 views25:02

🔥 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 South Korea under the topic 'cybersecurity news today'.

About this video

35th International Workshop on Unification (UNIF 2021) Title: Checking Symbolic Security of Cryptographic Modes of Operation Presenter: Hai Lin (Clarkson University) Co-author: Christopher Lynch (Clarkson University)

Video Information

Views
16

Total views since publication

Likes
2

User likes and reactions

Duration
25:02

Video length

Published
Jul 30, 2021

Release date

Quality
hd

Video definition