
@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}
}
@booklet {588,
	title = {Security in E-Voting},
	journal = {Poster at the IEEE Symposium on Security and Privacy (S\&P)},
	year = {2015},
	author = {Daniel Bruns and Huy Quoc Do and Simon Greiner and Mihai Herda and Martin Mohr and Enrico Scapin and Tomasz Truderung and Bernhard Beckert and Ralf K{\"u}sters and Heiko Mantel and Richard Gay}
}
