Next event: Seminar by Shaz Qadeer
Move: Language, Bytecode Verifier, Prover
Live on YouTube at
Optional registration to join on Teams
The state of the art in developing secure computer systems is
advancing rapidly, with progress in several communities around the
world spanning the software industry, academia, research labs, and
The Developing Secure Systems Summit (DS3) seeks to establish a new meeting ground for researchers and practitioners across these communities. Our goal is to share progress and stimulate further work on approaches that “build security in” to existing and new computing systems.
DS3 aims to be an inclusive event, building on several existing communities to forge its identity. On the one hand, we aim to reach out to the security research community that congregates at flagship events like IEEE Security and Privacy, the USENIX Security Symposium, and the ACM Conference on Computer and Communications Security. Equally, we seek to connect with the open source and industrial software security community that gathers around events like the Linux Security Summits, ShmooCon, BlueHat, and Real World Crypto, and many others. Additionally, we hope to interest others whose works are underrepresented at existing venues.
DS3 in 2021: Following our online speaker series in the Fall of 2020, we are announcing a new series for events for the Spring of 2021. Please see below for the schedule of events. Our online seminars will feature presentations from invited speakers covering a broad range of topics, including but not limited to some of the following.
- Industrial users of secure-by-construction programming languages, e.g., Rust, Checked-C
- Program proofs
- Network security, including analysis of network configurations
- Developers and users of Wasm
- Secure IoT
- Static analysis, particularly deployments at scale
- Secure and private machine learning
- Developers and users of blockchains
- Government deployments of high-assurance software
- Secure e-voting
- Secure hardware designs
- Secure systems architectures