"Logic and Verification Methods in Security and Privacy (NII Shonan Meeting ..."

Marco Gaboardi, Vivek Nigam, Tachio Terauchi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics