Photo of Sébastien Pierre Christophe Gondron
  • Richard Petersens Plads, 324, 180

    2800 Kgs. Lyngby



Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 1 Article in proceedings

Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy

Gondron, S. P. C. & Mödersheim, S. A., 2019, Proceedings of 24th European Symposium on Research in Computer Security. Springer, p. 535-555 21 p. (Lecture Notes in Computer Science, Vol. 11735).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review