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 May 07
A Formalization of Declassification with WHAT-and-WHERE-Security by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer Apr 23
A Formalization of Strong Security by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer Apr 23
A Formalization of Assumptions and Guarantees for Compositional Noninterference by Sylvia Grewe, Heiko Mantel and Daniel Schoepe Apr 23