CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms

Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Updated on

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.

Slides PDF