المؤلفون: Bellés Muñoz, Marta

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Daza, Vanesa, Muñoz Tapia, José L. (José Luis)

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Blockchain, Zero-knowledge proof, Arithmetic circuit, Elliptic curve, Cadena de blocs, Prova de coneixement zero, Circuit aritmètic, Corba el·líptica

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/689318

المؤلفون: Zapico Barrionuevo, Victoria Arantxa

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Daza, Vanesa, Ràfols, Carla

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Cryptography, Zero-knowledge, Succinct Arguments, SNARKs, Vector commitments, Cryptografía, Conocimiento nulo, Argumentos sucintos, Compromisos a vectores

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/675840

المؤلفون: Zacharakis, Alexandros

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Daza, Vanesa, Rafols, Carla

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Cryptography, Protocols, Zero knowledge proofs, Succinct arguments, Vector commitments, Delegation, Criptografía, Protocolos, Prueba de conocimiento zero, Argumentos sucintos, Compromisos a vectores, Delegación

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/675736

المؤلفون: Williams, Alex¹ (AUTHOR)

المصدر: Communications of the ACM. Jul2024, Vol. 67 Issue 7, p6-7. 2p.

مصطلحات موضوعية: *BLOCKCHAINS, ZERO-knowledge proofs, DATA privacy, REGULATORY compliance

المؤلفون: Pindado, Zaira

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Ràfols, Carla

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Pairing-based cryptography, Non-interactive zero-knowledge proofs, Cryptographic protocols, Criptografia basada en pairings, Proves de zero coneixement no interactives, Protocols criptogràfics

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/671270

المؤلفون: Silva Velón, Javier

المساهمون: University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions

Thesis Advisors: Ràfols, Carla

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Proof systems, Zero-knowledge proofs, Falsi able assumptions, Isogenies, Public-key cryptography, Sistemes de prova, Proves de coneixement nul, Hipòtesis falsificables, Isogènies, Criptografia de clau pública

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/671222

المؤلفون: Escala Ribas, Alex

المساهمون: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística

Thesis Advisors: Morillo Bosch, Paz

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Electronic voting, Verifiability, Cryptography, Zero-knowledge proofs, Vot electrònic, Verificabilitat, Criptografia, Proves de coneixement zero, Àrees temàtiques de la UPC::Matemàtiques i estadística

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/457585

المؤلفون: Malte Kerl, Ulf Bodin, Olov Schelén

المصدر: Cybersecurity, Vol 8, Iss 1, Pp 1-16 (2025)

مصطلحات موضوعية: Non-interactive zero knowledge proof, Privacy preservation, Authentication, Confidentiality, Cyber security, Data protection, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2523-3246

URL الوصول: https://doaj.org/article/f9f417f7544e4b88b1c4fae04cd8e078

المؤلفون: S. Bharath Babu, K. R. Jothi

المصدر: IEEE Access, Vol 13, Pp 8439-8455 (2025)

مصطلحات موضوعية: Privacy-preserving analytics, zero-knowledge proofs, blockchain in healthcare, multi-tenant cloud, healthcare security, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10772106/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/46e48973fc0e4d07bb30dc5f21964d4f

المؤلفون: Wang Xin, Li Jiaqian, Ding Xueshuang, Zhang Haoji, Sun Lianshan

المصدر: IEEE Access, Vol 13, Pp 6539-6555 (2025)

مصطلحات موضوعية: Differential privacy, federated learning, privacy protection, lattice-based homomorphic encryption, zero-knowledge proofs, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10818489/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/a73034265551465fa025b9d28b46ecf7

المؤلفون: Akil, Mahdi, Martucci, Leonardo, 1977, Hoepman, Jaap-Henk

المصدر: Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT. :114-127

مصطلحات موضوعية: Zero-Knowledge Proofs, Delegatable Anonymous Credentials, Vehicular Ad-Hoc Networks, Authentication Scheme., Computer Science, Datavetenskap

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-101690
https://doi.org/10.5220/0012759600003767

المؤلفون: Haines, Thomas, Mosaheb, Rafieh, Müller, Johannes, Reetika, Reetika

المساهمون: Australian National University (ANU), Université du Luxembourg = University of Luxembourg = Universität Luxemburg (uni.lu), Proof techniques for security protocols (PESTO), 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), Indian Institute of Space and Science Technology (IIST), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

المصدر: IEEE Computer Security Foundations (CSF) Symposium 2025 ; https://inria.hal.science/hal-04856221 ; IEEE Computer Security Foundations (CSF) Symposium 2025, Jun 2025, Santa Cruz, United States

مصطلحات موضوعية: Zero-knowledge Proofs, code-based cryptography, formal verification, EasyCrypt, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Santa Cruz, United States

الاتاحة: https://inria.hal.science/hal-04856221
https://inria.hal.science/hal-04856221v1/document
https://inria.hal.science/hal-04856221v1/file/Zero_Knowledge_Proofs_from_Learning_Parity_with_Noise__Optimization__Verification__and_Application.pdf

المؤلفون: Baowei Wang, Fengxiao Guo, Yuting Liu, Bin Li, Yi Yuan

المصدر: Cybersecurity, Vol 7, Iss 1, Pp 1-17 (2024)

مصطلحات موضوعية: Electronic voting, Blockchain, Bind signature, Zero-knowledge proofs, Threshold encryption, Fabric, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2523-3246

URL الوصول: https://doaj.org/article/e324379d87a74a3a8cdef9327c3c936b

المؤلفون: Tan Li, Samuel Cheng, Tak Lam Chan, Haibo Hu

المصدر: Scientific Reports, Vol 14, Iss 1, Pp 1-16 (2024)

مصطلحات موضوعية: Zero knowledge proof, Computation integrity, Decentralized federate learning, Medicine, Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2045-2322

URL الوصول: https://doaj.org/article/6c517475813a4f608a567fb3da30890f

المؤلفون: Wei Zhu, Yi Deng

المصدر: Cybersecurity, Vol 7, Iss 1, Pp 1-17 (2024)

مصطلحات موضوعية: Zero knowledge, Simultaneous resettability, Public-key model, BPK model, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2523-3246

URL الوصول: https://doaj.org/article/f9f9bdf02c034a8f94e306e8ab542da9

المؤلفون: Zhixin Ren, Yimin Yu, Enhua Yan, Taowei Chen

المصدر: Journal of King Saud University: Computer and Information Sciences, Vol 36, Iss 10, Pp 102247- (2024)

مصطلحات موضوعية: Blockchain, Layer-2, Multi-authority CP-ABE, Zero knowledge proof, PoTC, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1319157824003367; https://doaj.org/toc/1319-1578

URL الوصول: https://doaj.org/article/c6b87ee5fb2d4daa8eeacb2b8f88a85b

المؤلفون: Šeila Bećirović Ramić, Ehlimana Cogo, Irfan Prazina, Emir Cogo, Muhamed Turkanović, Razija Turčinhodžić Mulahasanović, Saša Mrdović

المصدر: ICT Express, Vol 10, Iss 4, Pp 916-934 (2024)

مصطلحات موضوعية: Selective disclosure, Anonymous credentials, Verifiable credentials, Zero-knowledge proof, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2405959524000614; https://doaj.org/toc/2405-9595

URL الوصول: https://doaj.org/article/b1885e33be644e57948ad7391429a515

المؤلفون: Zeshuo Zhu, Rui Zhang, Yang Tao

المصدر: Cybersecurity, Vol 7, Iss 1, Pp 1-22 (2024)

مصطلحات موضوعية: Fair exchanges, Atomic swaps, Non-interactive zero-knowledge proofs, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2523-3246

URL الوصول: https://doaj.org/article/c4289469a0414936b3128e1f7800bd59

المؤلفون: Vid Keršič, Sašo Karakatič, Muhamed Turkanović

المصدر: Journal of King Saud University: Computer and Information Sciences, Vol 36, Iss 9, Pp 102207- (2024)

مصطلحات موضوعية: Zero-knowledge proofs, Machine learning, ZKML, Decentralized AI, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1319157824002969; https://doaj.org/toc/1319-1578

URL الوصول: https://doaj.org/article/d2cc40119b8f4a06a0a7f94fe8e42b19

المؤلفون: Lorenzo Grassi, Dmitry Khovratovich, Reinhard Lüftenegger, Christian Rechberger, Markus Schofnegger, Roman Walch

المصدر: IACR Transactions on Symmetric Cryptology, Vol 2024, Iss 3 (2024)

مصطلحات موضوعية: zero knowledge, hash function, Monolith, Computer engineering. Computer hardware, TK7885-7895

وصف الملف: electronic resource

Relation: https://tosc.iacr.org/index.php/ToSC/article/view/11810; https://doaj.org/toc/2519-173X

URL الوصول: https://doaj.org/article/8a0edbe6b0d944389a545785d4da71f3