Artwork

Innhold levert av Safing. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Safing eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.
Player FM - Podcast-app
Gå frakoblet med Player FM -appen!

#015 - Code Audit by Cure53

33:53
 
Del
 

Manage episode 296951467 series 2940580
Innhold levert av Safing. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Safing eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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.

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.

Links

- Auditor: Cure53 - https://cure53.de/
- Nadim Kobeissi - https://twitter.com/kaepora
- Formal verification software by Nadim: https://verifpal.com/
- Our Crypto Library: Jess - https://github.com/safing/jess

Participate

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

- r/safing: https://reddit.com/r/safing

Daniels Handles

- https://twitter.com/dehaavi/
- https://github.com/dhaavi/
- https://reddit.com/user/dhaavi

Davids Handles

- https://twitter.com/davegson/
- https://github.com/davegson/
- https://reddit.com/u/davegson/
  continue reading

30 episoder

Artwork
iconDel
 
Manage episode 296951467 series 2940580
Innhold levert av Safing. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Safing eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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.

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.

Links

- Auditor: Cure53 - https://cure53.de/
- Nadim Kobeissi - https://twitter.com/kaepora
- Formal verification software by Nadim: https://verifpal.com/
- Our Crypto Library: Jess - https://github.com/safing/jess

Participate

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

- r/safing: https://reddit.com/r/safing

Daniels Handles

- https://twitter.com/dehaavi/
- https://github.com/dhaavi/
- https://reddit.com/user/dhaavi

Davids Handles

- https://twitter.com/davegson/
- https://github.com/davegson/
- https://reddit.com/u/davegson/
  continue reading

30 episoder

Alle episoder

×
 
Loading …

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

 

Hurtigreferanseguide

Copyright 2024 | Sitemap | Personvern | Vilkår for bruk | | opphavsrett