An introduction and overview of hacspec, its design principles, and usage.
Franziskus is a security & cryptography engineer and researcher based in Berlin. He is co-founder of Cryspen, a company that builds custom high assurance cryptography.
Franziskus holds a PhD in provable cryptography and was previously leading the security engineering efforts at Wire and worked on Mozilla’s cryptography library NSS as well as Firefox. Franziskus is interested in everything around applied cryptography, in particular authentication and key exchange protocols, formally verifiable specifications and implementations of cryptographic primitives and protocols.
Galois was pleased to host this tech talk via live-stream for the public. A video of the presentation can be found above.