A Formalization of Assumptions and Guarantees for Compositional Noninterferenceby Sylvia Grewe, Heiko Mantel and Daniel Schoepe23 Apr