Certifying Voting Protocols

被引：0

作者：

Schurmann, Carsten ^{[1
]}

机构：

[1] IT Univ Copenhagen, Copenhagen, Denmark

来源：

INTERACTIVE THEOREM PROVING, ITP 2013 | 2013年 / 7998卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：17 / 17

页数：1

共 50 条

[1] Protocols for quantum binary voting
Thapliyal, Kishore
Sharma, Rishi Dutt
Pathak, Anirban
[J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2017, 15 (01)
[2] Voting protocols on the star graph
Katai-Urban, Kamilla
Pongracz, Andras
Szabo, Csaba
[J]. ACTA SCIENTIARUM MATHEMATICARUM, 2024, 90 (1-2): : 41 - 51
[3] Remodelling the Attacker in Voting Protocols
Ryan, Peter Y. A.
[J]. SECURITY PROTOCOLS XVI, 2011, 6615 : 232 - 234
[4] Electronic jury voting protocols
Hevia, A
Kiwi, M
[J]. THEORETICAL COMPUTER SCIENCE, 2004, 321 (01) : 73 - 94
[5] Cryptographic protocols for electronic voting
Wagner, David
[J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2006, PROCEEDINGS, 2006, 4117 : 393 - 393
[6] On Fairness in Voting Consensus Protocols
Muller, Sebastian
Penzkofer, Andreas
Camargo, Darcy
Saa, Olivia
[J]. INTELLIGENT COMPUTING, VOL 2, 2021, 284 : 927 - 939
[7] EFFICIENT VOTING PROTOCOLS WITH WITNESSES
PARIS, JF
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 470 : 305 - 317
[8] Electronic jury voting protocols
Hevia, A
Kiwi, M
[J]. LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 415 - 429
[9] Quantitative Anonymity Evaluation of Voting Protocols
Biondi, Fabrizio
Legay, Axel
[J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 335 - 349
[10] Research on Internet voting schemes and protocols
Meng, Bo
Zhang, Huanguo
[J]. DCABES 2007 PROCEEDINGS, VOLS I AND II, 2007, : 817 - 821