CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
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 a tool that generates and verifies Cryptographic Modes of Operations.