@conference {618, title = {Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study}, booktitle = {Proceedings of the 5th International Conference on Principles of Security and Trust (POST)}, year = {2016}, author = {Huy Quoc Do and Eduard Kamburjan and Nathan Wasser} } @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} }