First Berlin Crypto Meetup

Berlin Crypto

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. 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.
See <A HREF="https://berlin-crypto.github.io/event/kickoff.html" TARGET="_blank" TITLE="https://berlin-crypto.github.io/event/kickoff.html" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">https://berlin-crypto.github.io/event/kickoff.html</A> for more details on this event.

Wire

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

First Berlin Crypto Meetup

More events from Berlin Crypto

Discover more events from Berlin Crypto, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Berlin and filter by date, category, and more to find the perfect fit.

First Berlin Crypto Meetup

More events from Berlin Crypto

Discover more events from Berlin Crypto, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Berlin and filter by date, category, and more to find the perfect fit.