mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-14 04:37:28 -05:00
527 B
527 B
| 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.
{{< pdfembed "/files/slides/wrla2022-slides.pdf" >}}