brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-22 00:06:29 -05:00
Code Issues Projects Releases Packages Wiki Activity
website/content/presentations/wrla2022-cryptosolve.md

531 B
Raw Blame History

title date draft
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms 2022-04-03T09:30:00-04:00 false

On April 3rd 2022, I presented a paper at the 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022). This presentation features CryptoSolve a tool that generates and verifies Cryptographic Modes of Operations.

Slides PDF

{{< pdfembed "/files/slides/wrla2022-slides.pdf" >}}