Cryptography FM
In-depth, substantive discussions on the latest news and research in applied cryptography.
Displaying 1 Episode of Cryptography FM with the tag “formal methods”.
-
Episode 4: Formally Verifying Your Taxes With Catala!
October 20th, 2020 | 43 mins 56 secs
formal methods
Formal verification has been used to prove the security of cryptographic protocols like Signal and TLS – but can it also be used to verify the correctness of legislation? Denis Merigoux tells us about how Catala wants to use formal methods to verify the French tax code.