New link to cryptosolve

This commit is contained in:
Brandon Rozek 2023-04-14 12:56:20 -04:00
parent bf52e98957
commit 3884304a77
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
2 changed files with 2 additions and 2 deletions

View file

@ -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 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) [Slides PDF](/files/slides/wrla2022-slides.pdf)

View file

@ -41,7 +41,7 @@ as unification and term rewriting to the following areas:
- Authentication - Authentication
- Commitment Schemes - 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 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)). 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)).