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 2021
16 views • Jul 30, 2021
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)
Title: Checking Symbolic Security of Cryptographic Modes of Operation
Presenter:
Hai Lin (Clarkson University)
Co-author:
Christopher Lynch (Clarkson University)
Video Information
Views
16
Likes
2
Duration
25:02
Published
Jul 30, 2021