@conference {617, title = {sElect: A Lightweight Verifiable Remote Voting System}, booktitle = {Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF)}, year = {2016}, author = {Ralf K{\"u}sters and Johannes M{\"u}ller and Enrico Scapin and Tomasz Truderung} } @conference {619, title = {SoK: Verifiability Notions for E-Voting Protocols}, booktitle = {Proceedings of the 37th IEEE Symposium on Security and Privacy (S\&P)}, year = {2016}, author = {V{\'e}ronique Cortier and David Galindo and Ralf K{\"u}sters and Johannes M{\"u}ller and Tomasz Truderung} } @conference {593, title = {A Hybrid Approach for Proving Noninterference of Java Programs}, booktitle = {Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF)}, year = {2015}, author = {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert and Daniel Bruns and Michael Kirsten and Martin Mohr} } @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} }