Cryptography FM

Episode 4: Formally Verifying Your Taxes With Catala!

October 20th, 2020  •  43 mins 56 secs  •  Download (60.3 MB)  •  Link with Timestamp

RSS Feed

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.