Formal Verification of Rust Cryptographic Code in Lean with Aeneas
Son Ho
Fri Jan 23, 15:30-16:30 (4 weeks ago)
logic in computer sciencemathematical softwareMathematics
Audience: researchers in the discipline
( video )
| Organizer: | Jireh Loreaux* |
| *contact for this listing |
Export talk to