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