Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS.  This talk will focus on how AWS services connect customers to logic-based techniques, as well as how AWS uses formal verification internally to provide higher assurance of its security.

Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS. This talk will focus on how AWS services connect customers to logic-based techniques, as well as how AWS uses formal verification internally to provide higher assurance of its security.

Formal Reasoning about the Security of Amazon Web Services

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.



In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.



Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.

Education

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.

Share Formal Reasoning about the Security of Amazon Web Services

Sign up to save your podcasts

Formal Reasoning about the Security of Amazon Web Services

Formal Reasoning about the Security of Amazon Web Services

More shows like Federated Logic Conference (FLoC) 2018

Philosophy for Beginners

Approaching Shakespeare

General Philosophy

Anthropology

Reuters Institute for the Study of Journalism

Aesthetics and Philosophy of Art lectures

Theoretical Physics - From Outer Space to Plasma

The Secrets of Mathematics

Critical Reasoning for Beginners

Ethics in AI