Cover Image for SF Systems Meetup: Correctness and Security for Distributed Systems

Presented by

The SF Systems Club brings together community members from industry, open-source, and research to chat about exciting new techniques and insights into building large systems.

Hosted By

201 Went

Featured in

San Francisco

SF Systems Meetup: Correctness and Security for Distributed Systems

Name: SF Systems Meetup: Correctness and Security for Distributed Systems
Start: 2025-02-27T17:30:00.000-08:00
End: 2025-02-27T20:30:00.000-08:00
Location: 160 Spear St floor 14

SF Systems Club

160 Spear St floor 14

San Francisco, California

Past Event

Please click on the button below to join the waitlist. You will be notified if additional spots become available.

You will be asked to verify token ownership with your wallet.

About Event

The SF Systems Meetup is back for the new year! This meetup, our theme is correctness and security. It's easy to write a distributed protocol, but very hard to ensure that they are resilient to failures and malicious actors.

We're excited to have two headline talks for this meetup!

Jayaprabhakar (JP) Kadarkarai, the creator of the FizzBee model checker, will show us how modern tools make it easy to bring formally verified guarantees to our distributed systems
Vivian Fang, a PhD Student at UC Berkeley and research collaborator with Signal, will show us how advanced protocols are used by Signal to enable secure encryption key storage even in the face of malicious hosts

This meetup is generously hosted by Databricks at their SF office. Food and drinks will be provided!

Agenda

5:30 PM: Doors Open, Food and Socializing
6:30 - 7:30: Introductions and Talks
7:30-: Community Socializing!

Location