Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16)