October 20th, 2020 • 43 mins 56 secs • Download (60.3 MB) • Link with Timestamp
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.