@conference {624, title = {Modular Verification of Information-Flow Security in Component-Based Systems}, booktitle = {Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM)}, year = {2017}, author = {Simon Greiner and Martin Mohr and Bernhard Beckert} }