Blar i NTNU Open på forfatter "Ryan, Peter Y. A."
-
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
Drăgan, Constantin Cătălin; Dupressoir, François; Estaji, Ehsan; Gjøsteen, Kristian; Haines, Thomas; Ryan, Peter Y. A.; Rønne, Peter B.; Solberg, Morten Rotvold (Chapter, 2022)Privacy is a notoriously difficult property to achieve in complicated systems and especially in electronic voting schemes. Moreover, electronic voting schemes is a class of systems that require very high assurance. The ... -
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting
Estaji, Ehsan; Haines, Thomas Edmund; Gjøsteen, Kristian; Ryan, Peter Y. A. (Peer reviewed; Journal article, 2020)In this paper we revisit the seminal coercion-resistant e-voting protocol by Juels, Catalano and Jakobsson (JCJ) and in particular the attempts to make it usable and practical. In JCJ the user needs to handle cryptographic ...