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.
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.