safing-web/_podcasts/2020-01-17-code-audit-by-cure53.md

title	keywords	date	tags	podcast_link	podcast_file_size	podcast_duration	podcast_length	summary	hosts
#015 - Code Audit by Cure53	privacy code audit	2020-01-17	privacy code audit	/assets/podcast/015-code-audit-by-cure53.mp3	33.6 MB	33:53	32528427	<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>If you do like what we do, consider supporting us by participating in our reddit:</p> - r/safing: <a href='https://old.reddit.com/r/safing'>https://old.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://old.reddit.com/user/dhaavi'>https://old.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://old.reddit.com/u/davegson/'>https://old.reddit.com/u/davegson/</a><br/>	davegson daniel

{% include audio.html %}