Episode 4: Formally Verifying Your Taxes With Catala!
Cryptography FM20 Loka 2020

Episode 4: Formally Verifying Your Taxes With Catala!

Anyone who’s looked at the French civil code -- or, God forbid, the French tax code -- will tell you that it takes more than a mere human mind to decipher its meaning, given how it’s been growing and growing ever since it was established by Napoleon hundreds of years ago.

Well, Catala is a new project that takes this adage perhaps a bit too literally, by applying formal methods -- a field increasingly seen as immediately adjacent to cryptography -- on the French tax code! Catala aims to provide a “domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts.” -- what that means is that you’ll be able to describe the tax code in a programming language, and get a proven-correct processing of your tax returns in that same language, too!

This episode of Cryptography FM is not directly about cryptography. Instead we’ll be covering a highly related and definitely interesting tangent: can we use the same formal methods that have recently proven the security of protocols like Signal and TLS in order to formally verify our tax returns? And, more importantly, can today’s guest help me pay less taxes?!

Joining us today is doctoral student Denis Merigoux, to talk about Catala, and more.

Links:

Music composed by Toby Fox and performed by Sean Schafianski.

Special Guest: Denis Merigoux.

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(24)

Episode 16: Contact Discovery in Mobile Messengers!

Episode 16: Contact Discovery in Mobile Messengers!

Contact discovery is a core feature in popular mobile messaging apps such as WhatsApp, Signal and Telegram that lets users grant access to their address book in order to discover which of their contac...

24 Touko 202146min

Episode 15: Bringing Secure Multiparty Computation to the Real World!

Episode 15: Bringing Secure Multiparty Computation to the Real World!

Secure multi-party computation is a fascinating field in cryptography, researching how to allow multiple parties to compute secure operations over inputs while keeping those inputs private. This makes...

26 Huhti 202146min

Episode 14: Schnorr, Factoring and Lattices!

Episode 14: Schnorr, Factoring and Lattices!

On March 1st, 2021, a curious paper appeared on the Cryptology ePrint Archive: senior cryptographer Claus Peter Schnorr submitted research that claims to use lattice mathematics to improve the fast fa...

30 Maalis 202146min

Episode 13: Zero-Knowledge STARKs in the Real World!

Episode 13: Zero-Knowledge STARKs in the Real World!

Zero-Knowledge proofs have broadened the realm of use cases for applied cryptography over the past decade, from privacy-enhanced cryptocurrencies to applications in voting, finance, protecting medical...

14 Maalis 202147min

Episode 12: Special Real World Crypto 2021 Pre-Conference Coverage!

Episode 12: Special Real World Crypto 2021 Pre-Conference Coverage!

Every year, the IACR Real World Cryptography symposium brings together researchers, engineers and practitioners in applied cryptography to discuss cryptography that matters, in the real world. To me, ...

7 Tammi 20211h 37min

Episode 11: Breaking the Rainbow Post-Quantum Cryptography Candidate!

Episode 11: Breaking the Rainbow Post-Quantum Cryptography Candidate!

The race for post-quantum cryptographic signature primitives is in its final lap over at NIST, which recently announced DILITHIUM, FALCON and Rainbow as the three signature primitive finalists. But a ...

8 Joulu 202038min

Episode 10: Exploiting Authenticated Encryption Key Commitment!

Episode 10: Exploiting Authenticated Encryption Key Commitment!

Authenticated encryption such as AES-GCM or ChaCha20-Poly1305 is used in a wide variety of applications, including potentially in settings for which it was not originally designed. A question given re...

1 Joulu 202046min

Episode 9: Off-the-Record Messaging and PKI Implementations!

Episode 9: Off-the-Record Messaging and PKI Implementations!

Before there was Signal, before there was WhatsApp, the realm of secure encrypted messaging was ruled by the Off-the-Record secure messaging protocol, created as an alternative to PGP that introduced ...

20 Marras 202041min

Suosittua kategoriassa Politiikka ja uutiset

uutiscast
aikalisa
politiikan-puskaradio
rss-ootsa-kuullut-tasta
ootsa-kuullut-tasta-2
rss-vaalirankkurit-podcast
tervo-halme
otetaan-yhdet
rss-podme-livebox
viisupodi
et-sa-noin-voi-sanoo-esittaa
rss-pinnalla
rss-asiastudio
rss-girls-finish-f1rst
linda-maria
rss-raha-talous-ja-politiikka
rss-ulkopoditiikkaa
rikosmyytit
the-ulkopolitist
rss-polikulaari-pitka-kiekko-ja-muut-ts-podcastit