( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.

, , и . CSF, стр. 17-32. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Virginie Lallemand

Caroline Lallemand

Marie-Gabrielle Lallemand

Stefanie Joseph

Virginia Joseph

 

Другие публикации лиц с тем же именем

Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse).. University of Lorraine, Nancy, France, (2019)Equivalence Properties by Typing in Cryptographic Branching Protocols., , , и . POST, том 10804 из Lecture Notes in Computer Science, стр. 160-187. Springer, (2018)Refining Authenticated Key Agreement with Strong Adversaries., , и . EuroS&P, стр. 92-107. IEEE, (2017)A Higher-Order Indistinguishability Logic for Cryptographic Reasoning., , и . LICS, стр. 1-13. (2023)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , и . SP, стр. 1162-1178. IEEE, (2021)A Type System for Privacy Properties (Technical Report)., , , и . CoRR, (2017)BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device., , и . CSF, стр. 367-381. IEEE, (2019)Fifty Shades of Ballot Privacy: Privacy against a Malicious Board., , и . CSF, стр. 17-32. IEEE, (2020)Voting: You Can't Have Privacy without Individual Verifiability., и . ACM Conference on Computer and Communications Security, стр. 53-66. ACM, (2018)Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)., , , , , , , и . CoRR, (2022)