Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Archive of Formal Proofs, 2018, 2018. [doi]
@article{BracevacGGMST18,
title = {An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties},
author = {Oliver Bracevac and Richard Gay and Sylvia Grewe and Heiko Mantel and Henning Sudbrock and Markus Tasch},
year = {2018},
url = {https://www.isa-afp.org/entries/Modular_Assembly_Kit_Security.html},
researchr = {https://researchr.org/publication/BracevacGGMST18},
cites = {0},
citedby = {0},
journal = {Archive of Formal Proofs},
volume = {2018},
}