@TechReport{ grewe.mantel.ea:i-maks, author = {Sylvia Grewe and Heiko Mantel and Markus Tasch and Richard Gay and Henning Sudbrock}, title = {I-MAKS A Framework for Information-Flow Security in Isabelle/HOL}, institution = {TU Darmstadt}, year = 2018, number = {TUD-CS-2018-0056}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2018/TUD-CS-2018-0056-I-MAKS-Tr.pdf} }