Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Security in E-Voting

Miscellaneous
Author(s):Daniel Bruns, Huy Quoc Do, Simon Greiner, Mihai Herda, Martin Mohr, Enrico Scapin, Tomasz Truderung, Bernhard Beckert, Ralf Küsters, Heiko Mantel, and Richard Gay
Publication:Poster at the 25th USENIX Security Symposium
Year:2016

BibTeX

@Misc{poster2016,
  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\"usters and Heiko
		  Mantel and Richard Gay},
  title		= {{Security in E-Voting}},
  howpublished	= {Poster at the 25th USENIX Security Symposium},
  year		= {2016}
}