Introduction to Formal Verification with Lean Part 1
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
Summary not yet generated for this article.
Comments (44 of ) ⌛