Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods and Security by Somesh Jha | Menrva Books | MenrvaBooks