
@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}
}
