brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-10-10 06:51:13 +00:00
Code Issues Projects Releases Packages Activity

Redid presentations section of site to use new feed layout

Browse source
This commit is contained in:
Brandon Rozek 2022-05-02 00:07:12 -04:00
parent 9122088c31
commit 5a8462a939
7 changed files with 58 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

12
content/presentations/wrla2022-cryptosolve.md Normal file
View file

@ -0,0 +1,12 @@
---
title: "CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms"
date: 2022-04-03T09:30:00-04:00
draft: 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](https://symcollab.github.io/CryptoSolve/) a tool that generates and verifies Cryptographic Modes of Operations.
[Slides PDF](/files/slides/wrla2022-slides.pdf)
{{< pdfembed "/files/slides/wrla2022-slides.pdf" >}}