Franzoni, Federico (Date of defense: 2021-05-07)
During the last decade, cryptocurrencies have revolutionized the financial industry. In these systems, participants communicate by means of a peer-to-peer protocol. Today, many of such protocols take ...
Salleras, Xavier (Date of defense: 2023-03-13)
Telecommunication systems such as mobile communications are evolving over time, and thanks to that, many digital services have arisen in the last decade. Usually, these services ask their users to provide ...
Bellés Muñoz, Marta (Date of defense: 2023-10-10)
In recent years, zero-knowledge proofs have come to play a crucial role in distributed systems where there is no trust between the parties involved. Most popular proof systems are for the NP-complete ...
Makriyannis, Nikolaos (Date of defense: 2016-09-20)
Secure two-party computation is a classic problem in cryptography. It involves two parties computing a function of their private inputs, and only revealing what the output suggests. Additional security ...
McMenamin, Conor (Date of defense: 2023-03-17)
In this thesis, we present a set of protocols in areas at the core of current blockchain technology literature; consensus, decentralized finance and distributed computing. These areas are bound by a ...
Signorini, Matteo (Date of defense: 2015-12-10)
La Internet de las Cosas está avanzando lentamente debido a la falta de confianza en dispositivos que puedan interactuar de manera autónoma. Además, se requieren nuevos enfoques para mitigar o al menos ...
Zacharakis, Alexandros (Date of defense: 2022-10-10)
Succinct non-interactive arguments (snarks) are cryptographic constructions that allow a prover to convince a verifier about the validity of a statement regarding some computation. We consider ...
Zapico Barrionuevo, Victoria Arantxa (Date of defense: 2022-10-13)
In this thesis, we make theoretical and practical contributions to the design of succinct arguments with universal setups in the pairing-based setting. We first introduce a new primitive, Checkable ...