---
# possible values: blog video podcast
category: podcast
layout:   podcast
# ⚠️ ALWAYS follow this format: "#001 - Some sweet title"
# when displaying only the episode number or the title this has to be constant
# -> view cast.html
title: "#015 - Code Audit by Cure53"
keywords: privacy code audit
date: 2020-01-17
tags:
- privacy
- code
- audit
podcast_link: podcast/015-code-audit-by-cure53.mp3
podcast_file_size: 33.6 MB
podcast_duration: "33:53"
# actual byte size
podcast_length: 32528427
summary: "
<p>Disclaimer: I'm not at my best today since been feeling a bit sick. I focused on bringing the episode out, so sorry for this weeks poor quality.</p>

<p>This week Daniel and David talk about the code review of the SPN cryptography module. The auditor is Cure53 who already has reviewed big players in the scene, such as Bitwarden, Mullvad or OpenPGP. First hints of the result are also included. Enjoy the listen.</p>

<h4>Links</h4>

- Auditor: Cure53 - <a href='https://cure53.de/'>https://cure53.de/</a><br/>
- Nadim Kobeissi - <a href='https://twitter.com/kaepora'>https://twitter.com/kaepora</a><br/>
- Formal verification software by Nadim: <a href='https://verifpal.com/'>https://verifpal.com/</a><br/>
- Our Crypto Library: Jess - <a href='https://github.com/safing/jess'>https://github.com/safing/jess</a><br/>

<h4>Participate</h4>

<p>What could we do better? Let us know how we can improve our podcast on reddit:</p>

- r/safing: <a href='https://reddit.com/r/safing'>https://reddit.com/r/safing</a><br/>

<h4>Daniels Handles</h4>

- <a href='https://twitter.com/dehaavi/'>https://twitter.com/dehaavi/</a><br/>
- <a href='https://github.com/dhaavi/'>https://github.com/dhaavi/</a><br/>
- <a href='https://reddit.com/user/dhaavi'>https://reddit.com/user/dhaavi</a><br/>

<h4>Davids Handles</h4>

- <a href='https://twitter.com/davegson/'>https://twitter.com/davegson/</a><br/>
- <a href='https://github.com/davegson/'>https://github.com/davegson/</a><br/>
- <a href='https://reddit.com/u/davegson/'>https://reddit.com/u/davegson/</a><br/>
"
hosts:
- davegson
- daniel
---

{% include audio.html %}