Next event: Seminar by Shaz Qadeer
Move: Language, Bytecode Verifier, Prover
Live on YouTube at
Optional registration to join on Teams

Introduction

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 governments.

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
  • Cryptography
  • 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

Schedule

All times are displayed with respect to your computer's current time:
The events will be broadcast live on this YouTube channel, although participants are encouraged to register to more closely engage with speakers and the community.

Registration

Registration is optional and free, but strongly encouraged. Registered participants will be able to join live discussion and breakout sessions. Please register here: Registration link. After completing the registration form, we will send you within a few business days an email with a link to join online meetings and discussions. If you register at the last minute and don't receive a link in time, that's okay, you can still participate via YouTube.

Organizers & Steering Committee

Sponsors

DS3 is sponsored in 2020-21 by generous support from from Microsoft Research and Microsoft Azure Sphere.

Prior events

Code of Conduct

Microsoft’s mission is to empower every person and every organization on the planet to achieve more. This includes events Microsoft hosts and participates in, where we seek to create a respectful, friendly, and inclusive experience for all participants. As such, we do not tolerate harassing or disrespectful behavior, messages, images, or interactions by any event participant, in any form, at any aspect of the program including business and social activities, regardless of location. We do not tolerate any behavior that is degrading to any gender, race, sexual orientation or disability, or any behavior that would violate Microsoft’s Anti-Harassment and Anti-Discrimination Policy, Equal Employment Opportunity Policy, or Standards of Business Conduct. In short, the entire experience at the venue must meet our culture standards. We encourage everyone to assist in creating a welcoming and safe environment. Please report any concerns, harassing behavior, or suspicious or disruptive activity to venue staff, the event host or owner, or event staff. Microsoft reserves the right to refuse admittance to or remove any person from company-sponsored events at any time in its sole discretion.