website/content/presentations/wrla2022-cryptosolve.md

---
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://cryptosolvers.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" >}}
Redid presentations section of site to use new feed layout 2022-05-02 00:07:12 -04:00			`---`
			`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`
New link to cryptosolve 2023-04-14 12:56:20 -04:00			`[CryptoSolve](https://cryptosolvers.github.io/CryptoSolve/) a tool that generates and verifies Cryptographic Modes of Operations.`
Redid presentations section of site to use new feed layout 2022-05-02 00:07:12 -04:00
			`[Slides PDF](/files/slides/wrla2022-slides.pdf)`

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