Browsing by Author "Daza, Vanesa"

Sort by: Order: Results:

  • A Comprehensive study of arithmetic circuits and elliptic curves for efficient and scalable zero-knowledge proof systems
    Bellés Muñoz, Marta (Universitat Pompeu Fabra, 2023-11-13)
    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 language of arithmetic ...
  • A trust module for the interaction with virtual charachters
    Boldrin, Luca; Daza, Vanesa; De Prisco, Roberto; Cortiñas Rovira, Sergi; Sivo, Saverio (Institute of Electrical and Electronics Engineers (IEEE), 2021)
    This paper describes the architecture of a trust module for the interaction between human users and virtual characters. The module is part of a bigger project whose goal is that of creating virtual and truly realistic ...
  • 'Ad-hoc' threshold broadcast encryption with shorter ciphertexts
    Daza, Vanesa; Herranz, Javier; Morillo, Paz; Ràfols, Carla (Elsevier, 2008)
    In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the receivers, in such a way that the original ...
  • Algebraic techniques for universal succinct arguments
    Zapico Barrionuevo, Victoria Arantxa (Universitat Pompeu Fabra, 2022-11-02)
    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 Subspace Sampling (CSS) ...
  • An approximate queueing model for multi-rate multi-user MIMO systems
    Bellalta, Boris; Daza, Vanesa; Oliver Riera, Miquel (Institute of Electrical and Electronics Engineers (IEEE), 2011)
    A queueing model for Multi-rate Multi-user MIMO systems is presented. The model is built upon the assumption that the probability distribution of available destinations among the buffered frames at the Base Station (BS) ...
  • AToM: active topology monitoring for the bitcoin peer-to-peer network
    Franzoni, Francesco; Salleras, Xavier; Daza, Vanesa (Springer, 2021)
    Over the past decade, the Bitcoin P2P network protocol has become a reference model for all modern cryptocurrencies. While nodes in this network are known, the connections among them are kept hidden, as it is commonly ...
  • CCA2-secure threshold broadcast encryption with shorter ciphertexts
    Daza, Vanesa; Herranz, Javier; Morillo, Paz; Ràfols, Carla (Springer, 2007)
    In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the receivers, in such a way that the original ...
  • Clover: an anonymous transaction relay protocol for the bitcoin P2P network
    Franzoni, Federico; Daza, Vanesa (Springer, 2022)
    The Bitcoin P2P network currently represents a reference benchmark for modern cryptocurrencies. Its underlying protocol defnes how transactions and blocks are distributed through all participating nodes. To protect user ...
  • CoLLIDE: cloud latency-based identification
    Daza, Vanesa; Di Pietro, Roberto; Lombardi, Flavio; Signorini, Matteo (Elsevier, 2017)
    As services steadily migrate to the Cloud, the availability of an overarching identity framework has become a stringent need. Moreover, such an identity framework is now critical in the Internet of Things. To address this ...
  • CONNECT: CONtextual NamE disCovery for blockchain-based services in the IoT
    Daza, Vanesa; Di Pietro, Roberto; Klimek, Ivan; Signorini, Matteo (Institute of Electrical and Electronics Engineers (IEEE), 2017)
    The Internet of Things is gaining momentum thanks to the provided vision of seamlessly interconnected devices. However, a unified way to discover and to interact with the surrounding smart environment is missing. As an ...
  • Designing fully secure protocols for secure two-party computation of constant-domain functions
    Daza, Vanesa; Makriyannis, Nikolaos (Springer, 2017)
    In a sense, a two-party protocol achieves fairness if the output from the computation is obtained simultaneously by both parties. A seminal result by Cleve (STOC 1986) states that fairness is impossible, in general. ...
  • Do not rug on me
    Mazorra, Bruno; Adan, Victor; Daza, Vanesa (MDPI, 2022)
    Uniswap, as with other DEXs, has gained much attention this year because it is a non-custodial and publicly verifiable exchange that allows users to trade digital assets without trusted third parties. However, its simplicity ...
  • Emancipation of the bitcoin outcasts: addressing overlooked elements of the bitcoin network for improving security and efficiency
    Franzoni, Federico (Universitat Pompeu Fabra, 2021-06-14)
    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 Bitcoin as a reference ...
  • Estrategia para el seguimiento y evaluación de los aprendizajes en un MOOC de introducción al álgebra
    Sancho, Teresa; Daza, Vanesa (Universitat de Barcelona, 2014)
    Existen distintas estrategias metodológicas para el seguimiento y evaluación de los/nparticipantes en un MOOC. En este artículo se elabora y justifica una propuesta/npara el MOOC de álgebra básica, “Descodificando álgebra”, ...
  • Exploring the effectiveness of video viewing in an introductory x-MOOC of algebra
    Triay, Joan; Minguillón, Julià; Sancho Vinuesa, Teresa; Daza, Vanesa (CEUR Workshop Proceedings, 2016)
    The huge amount of gathered data in a MOOC allows providing professors and course managers with insightful information about real course usage and consumption. The main aim of this work is to explore how efficient ...
  • Fairness in two-party computation : characterizing fair functions
    Makriyannis, Nikolaos (Universitat Pompeu Fabra, 2016-10-05)
    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 requirements may include ...
  • Flaws in some self-healing key distribution schemes with revocation
    Daza, Vanesa; Herranz, Javier; Sáez, Germán (Elsevier, 2009)
    Dutta and Mukhopadhyay have recently proposed some very efficient self-healing key distribution schemes with revocation. The parameters of these schemes contradict some results (lower bounds) presented by Blundo et al. In ...
  • FORT: right-proving and attribute-blinding self-sovereign authentication
    Salleras, Xavier; Rovira, Sergi; Daza, Vanesa (MDPI, 2022)
    Nowadays, there are a plethora of services that are provided and paid for online, such as video streaming subscriptions, car-share, vehicle parking, purchasing tickets for events, etc. Online services usually issue tokens ...
  • Improvements to incentives in incentive-driven blockchain technologies
    McMenamin, Conor (Universitat Pompeu Fabra, 2023-04-14)
    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 critical dependency on ...
  • LASER: lightweight and secure remote keyless entry protocol
    Daza, Vanesa; Salleras, Xavier (SciTePress. Science and Technology Publications, 2019)
    Since Remote Keyless Entry (RKE) systems started to be widely used, several vulnerabilities in their protocols have been found. Attacks such as jamming-and-replay attacks and relay attacks are still effective against most ...

Search DSpace

Browse

My Account

In collaboration with Compliant to Partaking