SESSION + Live Q&A
Formal Methods at Amazon Web Services
Security is a top priority at Amazon Web Services. As we have a shared responsibility model with customers, AWS manages the components from the operating system down to the physical security of the facilities; AWS customers are responsible for building secure applications on top of it. In this talk I will describe tools that support our customers in securing their applications, and tools that we use to secure the infrastructure. Under the hood, these tools use formal methods to provide guarantees to our customers.
Speaker
Michael Tautschnig
Software Development Engineer @AWS Security
Michael Tautschnig is a Software Development Engineer at AWS Security. He received his PhD from Vienna University of Technology, working on Query-Driven Program Testing. Michael publishes on automated program analysis, with a focus on applications of model checking.
Read moreFind Michael Tautschnig at:
Location
Churchill, G flr.
Track
Topics
Formal MethodsAWSSecurityApplication SecurityComputer ScienceLondonVideo
Video is not available
Slides
Slides are not available
Share
From the same track
CRDTs and the Quest for Distributed Consistency
We all know how to build applications that rely on a central server. However, such centralisation is not always desirable, and recently there has been new interest in developing decentralised applications. Blockchains inevitably come up in that conversation, but when you examine them critically,...
Martin Kleppmann
Software Engineer, Author, & Samza and Avro Committer
Consensus: Why Can't We All Just Agree?
Reaching agreement is never easy and distributed systems are no exception to this rule. In this talk, we take a journey though the history, to the current reality and look ahead to the future for distributed consensus. We start over three decades ago, when the field of distributed consensus began...
Heidi Howard
Distributed Systems PhD Candidate @CambridgeComputerLab
Modern CS Open Space
How Performance Optimizations Shatter Security Boundaries
With the customers demand of high-performance computing, CPU manufacturers deploy more and more sophisticated optimizations in their processors to increase the performance as much as possible. However, these performance optimizations often come with the downside of enabling side-channel attacks...
Moritz Lipp
Researcher in Information Security at Graz University of Technology
Java at Speed
Getting the most of your Java applications can be an interesting challenge. Understanding some of the optimizations the latest crop of JVMs are able to apply when running on the latest servers may help with that. This talk will discuss some of those features and optimizations. Along with...
Gil Tene
CTO and co-founder @AzulSystems