First Berlin Crypto Meetup

This is the first meetup of the Berlin Crypto community!

At this first event there will be two talks as well as plenty of time to socialise and discuss any issues of interest. Come and join us in building a community interested in cryptography and everything around it.

Organizational notes: The Berlin Crypto meetup has its own webpage and signup process via Eventbrite. Please sign up either here or there, but not on both sites, so we get a rough idea about the number of people participating.
See also https://berlin-crypto.github.io/event/kickoff.html

Also please note that unlike our usual events this meetup is not at the Mozilla space.

Messaging Layer Security (MLS) (Raphael Robert)

Messaging Layer Security (MLS) is an IETF working group building a modern, efficient, secure group messaging protocol.

The protocol includes advanced security properties, such as Forward Secrecy and Post-compromise Security in addition to message confidentiality and authenticity.

This talk will cover how MLS works on a high level and give some context about secure messaging.

hacspec (Franziskus Kiefer)

hacspec is a proposal for a new specification language for crypto primitives that is succinct, that is easy to read and implement, and that lends itself to formal verification.

hacspec aims to formalize the pseudocode used in crypto standards by proposing a formal syntax that can be checked for simple errors. hacspec specifications can then be tested against test vectors specified in a common syntax.

The talk will give an overview of hacspec and formal verification for cryptographic primitves.