Public Tech Talk: “hacspec – a specification language for crypto primitives and more” by Franziskus Kiefer

  • Date Monday, August 15, 2022  Time 10:00 AM
  • Speaker Franziskus is a security & cryptography engineer and researcher based in Berlin.
  • Location Galois is pleased to host this tech talk via live-stream for the public on August 15, 2022 from 10:00 am to 11:00 am Pacific Time. Send a request to techtalkcoordinator@galois.com to receive meeting information.

Abstract:

An introduction and overview of hacspec, its design principles, and usage.

Bio:  

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 is pleased to host this tech talk via live-stream for the public on August 15, 2022 from 10:00 am to 11:00 am Pacific Time. Send a request to techtalkcoordinator@galois.com to receive meeting information.