-
1Report
المؤلفون: Larraia, Enrique, Finogina, Tamara, Costa Mirada, Nuria
المساهمون: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada
مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Swiss, E-voting, Verifiability, Individual verifiability, Universal verifiability, Privacy
وصف الملف: 131 p.; application/pdf
Relation: info:eu-repo/grantAgreement/EC/H2020/780701/EU/PRivacy preserving pOst-quantuM systEms from advanced crypTograpHic mEchanisms Using latticeS/PROMETHEUS; Larraia, E.; Finogina, T.; Costa, N. sVote with control components voting protocol: computational proof of complete verifiability and privacy. 2022.; https://eprint.iacr.org/2022/1509; http://hdl.handle.net/2117/393055
-
2Academic Journal
المؤلفون: Masyhur, Zulkarnaim, Syahyadi, Asep Indra
المصدر: Indonesian Journal of Fundamental Sciences; Vol 6, No 2 (2020); 90-101 ; 2621-6728 ; 2621-671X ; 10.26858/ijfs.v6i2
مصطلحات موضوعية: Electronic Voting, Verification, Individual Verifiability, Universal Verifiability, Elegiblity Verifiability
وصف الملف: application/pdf
-
3Conference
المؤلفون: ROENNE, Peter, RYAN, Peter Y A, SMYTH, Benjamin
المصدر: urn:isbn:978-3-662-63957-3 ; Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers (2021); 6th Workshop on Advances in Secure Electronic Voting, 05-03-2021 => 05-03-2021
مصطلحات موضوعية: Formal definition, Individual verifiability, Universal verifiability, Voting systems, Computer Science (all), Electronic Voting, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: https://link.springer.com/content/pdf/10.1007/978-3-662-63958-0_22; FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan; https://orbilu.uni.lu/handle/10993/57234; info:hdl:10993/57234; https://orbilu.uni.lu/bitstream/10993/57234/1/Cast_as_intended.pdf; wos:000713005000022
-
4Academic Journal
المؤلفون: Ben Riva, Amnon Ta-shma
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: electronic voting, receipt freeness, coercion resistance, universal verifiability
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.8113; http://www.cs.tau.ac.il/~odedsc/workshop07a/vs_art-31-5.pdf
-
5Report
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Cryptology, Arithmetic: Hardware and Software (CARAMEL), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), INRIA, European Project: 258865,EC:FP7:ERC,ERC-2010-StG_20091028,PROSECURE(2011)
المصدر: https://inria.hal.science/hal-01011294 ; [Research Report] RR-8555, INRIA. 2014, pp.20.
مصطلحات موضوعية: voting protocols, individual verifiability, universal verifiability, ballot stuffing, ballot privacy, Helios, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: info:eu-repo/grantAgreement/EC/FP7/258865/EU/Provably secure systems: foundations, design, and modularity/PROSECURE; Report N°: RR-8555; hal-01011294; https://inria.hal.science/hal-01011294; https://inria.hal.science/hal-01011294v2/document; https://inria.hal.science/hal-01011294v2/file/rapport.pdf
-
6Academic Journal
المؤلفون: C. Andrew Neff
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Electronic Voting, Universal Verifiability, Anonymous Credentials, Mix-net, Permutation, Verifiable Mix, Verifiable Shuffle, Honest-verifier, Zeroknowledge
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.3124; http://www.cs.elte.hu/~rfid/p116-neff.pdf
-
7Academic Journal
المؤلفون: Byoungcheon Lee, Kwangjo Kim
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Electronic voting, receipt-freeness, honest verifier, universal verifiability, proof of validity, proof of knowledge, multi-party computation
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.963; http://caislab.icu.ac.kr/paper/2000/sultan/jwisc2k_bclee.ps
-
8Academic Journal
المصدر: IEEJ Transactions on Electronics, Information and Systems. 2010, 130(11):2065
-
9Academic Journal
-
10Academic Journal
المؤلفون: Patachi, Stefan, Schürmann, Carsten
المصدر: Patachi , S & Schürmann , C 2017 , Eos a Universal Verifiable and Coercion Resistant Voting Protocol . in Electronic Voting : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings . Springer , Bregenz/Lochau , Lecture Notes in Computer Science , vol. 10615 , pp. 210-227 . https://doi.org/10.1007/978-3-319-68687-5_13
مصطلحات موضوعية: Conditional Linkable Ring Signatures, Anonymous Voting, Coercion Resistance, Mixing Phases, Universal Verifiability
وصف الملف: application/pdf
Relation: https://pure.itu.dk/portal/da/publications/53dfbf13-03c7-41fa-8a71-e4f8cb385268; urn:ISBN:978-3-319-68686-8
-
11Academic Journal
المؤلفون: Smyth, Ben, Frink, Steven, Clarkson, Michael R.
مصطلحات موضوعية: Electronic voting, Individual verifiability, Universal verifiability, Eligibility verifiability, Collusion attack, Authentication, Applied cryptography
وصف الملف: application/pdf
الاتاحة: https://hdl.handle.net/1813/39908
-
12
المؤلفون: Stéphane Glondu, Malika Izabachène, Véronique Cortier, David Galindo
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Cryptology, Arithmetic: Hardware and Software (CARAMEL), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), INRIA, European Project: 258865,EC:FP7:ERC,ERC-2010-StG_20091028,PROSECURE(2011), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: [Research Report] RR-8555, INRIA. 2014, pp.20
Proceedings of the 19th European Symposium on Research in Computer Security (ESORICS'14)
Proceedings of the 19th European Symposium on Research in Computer Security (ESORICS'14), Sep 2014, Wroclaw, Poland
HAL
Computer Security-ESORICS 2014 ISBN: 9783319112114
ESORICS (2)مصطلحات موضوعية: Scheme (programming language), Electronic voting, Computer science, media_common.quotation_subject, Internet privacy, 02 engineering and technology, HeliOS, Computer security, computer.software_genre, universal verifiability, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Voting, 0202 electrical engineering, electronic engineering, information engineering, ballot privacy, ballot stuffing, computer.programming_language, media_common, business.industry, 020206 networking & telecommunications, voting protocols, 16. Peace & justice, Registration authority, Bulletin board, Helios, Ballot, ComputingMilieux_COMPUTERSANDSOCIETY, 020201 artificial intelligence & image processing, Verifiable secret sharing, business, computer, individual verifiability
-
13Report
مصطلحات موضوعية: Encryption/Decryption Shuffles, Incoercibility, Universal Verifiability, Confirmation Numbers, Signature Pairs
Relation: https://u-fukui.repo.nii.ac.jp/?action=repository_uri&item_id=22302; http://hdl.handle.net/10098/3007; 電気学会論文誌C : 電子・情報・システム部門誌, 130(11), 2065-2073(2010-11); 3854221; TD00006749; https://u-fukui.repo.nii.ac.jp/?action=repository_action_common_download&item_id=22302&item_no=1&attribute_id=22&file_no=1
-
14Academic Journal
المؤلفون: Stefan Popoveniuc, Poorvi, L. Vora
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: end-to-end voting, front-end, mixnets, universal verifiability Downloaded By, Vora, Poorvi L.] At, 43 26 July 2010
Time: 08
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.3637; http://www.seas.gwu.edu/~poorvi/FrameworkCryptologia.pdf
-
15Dissertation/ Thesis
المؤلفون: 邱華洲, Hua-Chou Chiu, 曾文貴, Wen-Guey Tzeng
المساهمون: 資訊科學與工程研究所
مصطلحات موضوعية: 電子投票, 私密性, 強固性, 可公開驗證性, 無投票收據性, Electronic voting, privacy, robustness, universal verifiability, receipt-free, droit, scipo
Relation: http://hdl.handle.net/11536/67003
الاتاحة: http://hdl.handle.net/11536/67003
-
16Electronic Resource
المؤلفون: Universitat Politècnica de Catalunya. Doctorat en Matemàtica Aplicada, Larraia, Enrique, Finogina, Tamara, Costa Mirada, Nuria
مصطلحات الفهرس: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Swiss, E-voting, Verifiability, Individual verifiability, Universal verifiability, Privacy, External research report
URL:
https://eprint.iacr.org/2022/1509 http://hdl.handle.net/2117/393055
info:eu-repo/grantAgreement/EC/H2020/780701/EU/PRivacy preserving pOst-quantuM systEms from advanced crypTograpHic mEchanisms Using latticeS/PROMETHEUS