Daniel Schoepe

A Formalization of Assumptions and Guarantees for Compositional Noninterference

by Sylvia Grewe 📧, Heiko Mantel 📧 and Daniel Schoepe 📧