As We May Code: Augmenting Software Security with Automated Reasoning

Explore how advances in automatic reasoning and cloud services are revolutionizing the software security lifecycle in this 19-minute conference talk from USENIX Enigma 2017. Discover how new techniques augment human abilities with scalable reasoning, enabling rapid decision-making across a wide range of problems. Learn about the "Project Springfield" bug finding service at Microsoft and gain insights into how cloud infrastructure is deepening the impact on security management for built, purchased, and transformed code. Examine examples from various phases of the software security lifecycle and understand the potential of bundling data, compute, and specialized talent in cloud services for organization-wide deployment of these augmentations.

Introduction
Example
Intelligence Scale
Demo
Automating Reasoning
SetGuru
Whats Next