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

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

مرشدي الرسالة: 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

المؤلفون: Miller, Dale

المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-11 Jun, 2023

Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Dao, Quang, Miller, Jim, Wright, Opal, Grubbs, Paul

المصدر: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :199-216 May, 2023

Relation: 2023 IEEE Symposium on Security and Privacy (SP)

المؤلفون: Govindasamy, Nashlen, Hakoniemi, Tuomas, Tzameret, Iddo

المصدر: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) FOCS Foundations of Computer Science (FOCS), 2022 IEEE 63rd Annual Symposium on. :188-199 Oct, 2022

Relation: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS)

المؤلفون: Leme, Renato^{Aff1, IDs11225023100910_cor1}, Coniglio, Marcelo, Lopes, Bruno, Venturi, Giorgio

المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-28

المؤلفون: Kossak, Roman^Aff2

المساهمون: Kossak, Roman^Aff1

المصدر: Mathematical Logic : On Numbers, Sets, Structures, and Symmetry. 4:173-181

المؤلفون: Ashur, Tomer^{Aff9, Aff10}, Buschman, Thomas^Aff11, Mahzoun, Mohammad^Aff11

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Zhu, Tianqing, editor^Aff7, Li, Yannan, editor^Aff8

المصدر: Information Security and Privacy : 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part II. 14896:225-244

المؤلفون: Alamati, Navid^Aff9, Maram, Varun^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Tang, Qiang, editor^Aff7, Teague, Vanessa, editor^Aff8

المصدر: Public-Key Cryptography – PKC 2024 : 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15–17, 2024, Proceedings, Part IV. 14604:193-226

المؤلفون: Geatti, Luca^Aff9, Mansutti, Alessio^Aff10, Montanari, Angelo^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Kobayashi, Naoki, editor^Aff7, Worrell, James, editor^Aff8

المصدر: Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14575:95-115

المؤلفون: Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal

المصدر: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :632-639 Nov, 2021

Relation: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)