An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties
by Oliver BraΔevac π§, Richard Gay π§, Sylvia Grewe π§, Heiko Mantel π§, Henning Sudbrock π§ and Markus Tasch π§
by Oliver BraΔevac π§, Richard Gay π§, Sylvia Grewe π§, Heiko Mantel π§, Henning Sudbrock π§ and Markus Tasch π§