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.
- Imported
- Hacker News
- hashcloak.com
- 0
- Views: 41
- Bookmark
- 0
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
Source: hashcloak.com (182 points, 30 comments) Hacker News discussion
Reader Support
Support WebNovare
Send a crypto tip if this article helped you.
Log in or register to like, bookmark, watch tags, and comment.
Comments
No comments yet.
Log in or register to join the conversation.