@Article{	  bracevac.gay.ea:isabellehol,
  author	= {Oliver Bracevac and Richard Gay and Sylvia Grewe and Heiko
		  Mantel and Henning Sudbrock and Markus Tasch},
  title		= {An Isabelle/HOL Formalization of the Modular Assembly Kit
		  for Security Properties},
  journal	= {Archive of Formal Proofs},
  year		= 2018
}