Skip to content
Hallway
0:00 / 0:00

#formalverification#aws#automatedreasoning

Byron Cook: Formal Reasoning about the Security of Amazon Web Services

Federated Logic Conference FLoC 2018

721 subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Byron Cook, Director of Automated Reasoning at AWS
  • May be out of date. Uploaded 8 years ago, in an area where tools change fast.

Advanced. Deep dive for people who know the field.

8.2K views8 years ago2 recommendations

SecurityCloud and DevOpsFormal methods and verificationWeb and application securityAWS

Byron Cook explains how AWS uses formal methods and automated reasoning to secure its cloud infrastructure.

Plenary lecture at the Federated Logic Conference, 16 July 2018 - see floc2018.org/speaker/byron-cook/ for details.

Why it's here

2 people recommend this

What people say. Recommended as a great demonstration of how formal methods are applied to security in industry.

u/sleeperdronein r/compsci • Recommends

On “Am I better off with Formal methods and functional programming class or PDE and numerical methods for PDEs?”

To get a sense for how interesting, important, and useful formal methods are in industry nowadays, watch this keynote from FLoC last year. The speaker is Byron Cook, head of the Automated Reasoning Group at AWS. link to this video
1View on Reddit

u/Avrelin4in r/compsci • Recommends

Formal Methods at Amazon Web Services
1View on Reddit