Zero-knowledge proofs and isogeny-based cryptosystems

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Silva Velón, Javier
• dc.contributor.other Ràfols, Carla
• dc.contributor.other Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
• dc.date.accessioned 2024-03-16T02:34:30Z
• dc.date.available 2024-03-16T02:34:30Z
• dc.date.issued 2021-03-25T12:34:35Z
• dc.date.issued 2021-03-25T12:34:35Z
• dc.date.issued 2021-03-11
• dc.date.modified 2024-03-15T10:58:05Z
• dc.description.abstract In this thesis, we present some public-key cryptographic schemes. This work is divided in two halves. The rst half deals with zero-knowledge proofs in the classical setting and under falsi able assumptions. In particular, we improve upon the e ciency of an argument for linear equations, and we present a proof of correct computation of a circuit that is of size logarithmic in the depth of the circuit. In the second half, we introduce a signature scheme, an encryption scheme and a trapdoor DDH scheme based on isogenies of supersingular elliptic curves. The signature and encryption schemes are secure against quantum adversaries.
• dc.description.abstract En aquesta tesi presentem alguns esquemes criptogràfics de clau pública. Aquest treball consta de dues parts. La primera meitat tracta de proves de coneixement nul en el context clàssic i basades en hipòtesis falsificables. En particular, millorem l’eficiència d’un argument de coneixement nul per a equacions lineals i presentem una prova de computació correcte d’un circuit que te una mida logarítmica en la profunditat del circuit. A la segona meitat, introduïm un esquema de signatures, un esquema de xifratge i un esquema DDH de trampa basat en lisogènies de corbes el·líptiques supersingulars. Els esquemes de signatura i xifrat són segurs contra adversaris quàntics.
• dc.description.abstract Programa de doctorat en Tecnologies de la Informació i les Comunicacions
• dc.format 232 p.
• dc.format application/pdf
• dc.format application/pdf
• dc.identifier http://hdl.handle.net/10803/671222
• dc.identifier.uri http://hdl.handle.net/10230/46968
• dc.language.iso eng
• dc.publisher Universitat Pompeu Fabra
• dc.rights L'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-sa/4.0/
• dc.rights http://creativecommons.org/licenses/by-nc-sa/4.0/
• dc.rights info:eu-repo/semantics/openAccess
• dc.source TDX (Tesis Doctorals en Xarxa)
• dc.subject.keyword Proof systems
• dc.subject.keyword Zero-knowledge proofs
• dc.subject.keyword Falsi able assumptions
• dc.subject.keyword Isogenies
• dc.subject.keyword Public-key cryptography
• dc.subject.keyword Sistemes de prova
• dc.subject.keyword Proves de coneixement nul
• dc.subject.keyword Hipòtesis falsificables
• dc.subject.keyword Isogènies
• dc.subject.keyword Criptografia de clau pública
• dc.subject.keyword 62
• dc.title Zero-knowledge proofs and isogeny-based cryptosystems
• dc.type info:eu-repo/semantics/doctoralThesis
• dc.type info:eu-repo/semantics/publishedVersion