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

Poster: Security in E-Voting

Reviewed Paper In Proceedings
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
In:36th IEEE Symposium on Security and Privacy (S&P 2015), Poster Session
Year:2015
URL:https://www.ieee-security.org/TC/SP2015/posters/paper_10.pdf

BibTeX

@InProceedings{BrunsDoGreinerEtAl15,
  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},
  title		= {Poster: {Security} in E-Voting},
  booktitle	= {36th IEEE Symposium on Security and Privacy (S&P 2015),
		   Poster Session},
  editor	= {Sophie Engle},
  language	= {english},
  year		= 2015,
  month		= may,
  url           = {https://www.ieee-security.org/TC/SP2015/posters/paper_10.pdf}
}