Samoa: Formal Tools for Securing Web Services Andy Gordon Based on joint work with Karthik Bhargavan, Ricardo Corin, Cédric Fournet, Greg O’Shea, and Riccardo.