mirror of
https://github.com/Brandon-Rozek/website.git
synced 2024-11-09 18:50:34 -05:00
12 lines
527 B
Markdown
12 lines
527 B
Markdown
|
---
|
||
|
|
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" >}}
|