How I learned to stop worrying and start applying automated reasoning

Karthik Amrutesh (Amazon Web Services), Byron Cook (Amazon Web Services)

Abstract: Automated reasoning has real world audit applications beyond the abstract. In this talk, we will share our experience of having applied automated reasoning principles to satisfy auditor expectations on a subset of PCI-DSS (Payment Card Industry – Data Security Standards) requirements. We will discuss our approach to the pilot initiative, lessons learned and the path forward.