From 3884304a7753885f2883b7e4a49bd44f575ef32a Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Fri, 14 Apr 2023 12:56:20 -0400 Subject: [PATCH] New link to cryptosolve --- content/presentations/wrla2022-cryptosolve.md | 2 +- content/research/_index.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/content/presentations/wrla2022-cryptosolve.md b/content/presentations/wrla2022-cryptosolve.md index a001889..ec23a0c 100644 --- a/content/presentations/wrla2022-cryptosolve.md +++ b/content/presentations/wrla2022-cryptosolve.md @@ -5,7 +5,7 @@ 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. +[CryptoSolve](https://cryptosolvers.github.io/CryptoSolve/) a tool that generates and verifies Cryptographic Modes of Operations. [Slides PDF](/files/slides/wrla2022-slides.pdf) diff --git a/content/research/_index.md b/content/research/_index.md index 2a729ce..2bfa679 100644 --- a/content/research/_index.md +++ b/content/research/_index.md @@ -41,7 +41,7 @@ as unification and term rewriting to the following areas: - Authentication - Commitment Schemes -Together we built [CryptoSolve](https://github.com/symcollab/CryptoSolve), a symbolic cryptographic analysis tool, and made it publically available on GitHub. I wrote the term algebra and rewrite libraries, and contributed to the mode of operation library and some unification algorithms. +Together we built [CryptoSolve](https://github.com/cryptosolvers/CryptoSolve), a symbolic cryptographic analysis tool, and made it publically available on GitHub. I wrote the term algebra and rewrite libraries, and contributed to the mode of operation library and some unification algorithms. I still help maintain the codebase, as well as contribute to our current work on Garbled Circuits. We previously presented our work at [UNIF 2020](https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58) ([slides](/files/research/UNIF2020-Slides.pdf)), [FROCOS 2021](https://link.springer.com/chapter/10.1007/978-3-030-86205-3_14) ([slides](/files/slides/FROCOS2021.pdf)), and [WRLA 2022](http://sv.postech.ac.kr/wrla2022/assets/files/pre-proceedings-WRLA2022.pdf#page=12) ([slides](/files/slides/wrla2022-slides.pdf)).