Common ⎵ Prefix

Our Research

Our team specializes in the areas of proof-of-stake, proof-of-work, auctions, Layer-2s, sharding, channels, bootstrapping, light clients, wallets, smart contracts, interoperability, zero-knowledge, and multiparty computation. Here are some of our team's research highlights.

Filters

Author
Conference
Tag
Year

Ouroboros: A provably secure proof-of-stake blockchain protocol

Aggelos Kiayias, Alexander Russell,
Bernardo David❖
, Roman Oliynykov

CRYPTO 2017

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain

Bernardo David❖
, Peter Gaži, Aggelos Kiayias, Alexander Russell

EUROCRYPT 2018

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

Jonathan Bootle, Andrea Cerulli,
Pyrros Chaidos❖
, Jens Groth, Christophe Petit

EUROCRYPT 2016

Proof-of-Stake Sidechains

Peter Gaži, Aggelos Kiayias,
Dionysis Zindros❖

S&P 2019

SoK: Communication across distributed ledgers

Alexei Zamyatin, Mustafa Al-Bassam,
Dionysis Zindros❖
, Eleftherios Kokoris-Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, William J Knottenbelt

FC 2021

Non-Interactive Proofs of Proof-of-Work

Aggelos Kiayias, Andrew Miller,
Dionysis Zindros❖

FC 2020

SCRAPE: Scalable randomness attested by public entities

Ignacio Cascudo,
Bernardo David❖

ACNS 2017

Proof-of-Burn

Kostis Karantias, Aggelos Kiayias,
Dionysis Zindros❖

FC 2020

Proof-of-Work Sidechains

Aggelos Kiayias,
Dionysis Zindros❖

FC 2019

Short Accountable Ring Signatures Based on DDH

Jonathan Bootle, Andrea Cerulli,
Pyrros Chaidos❖
, Essam Ghadafi, Jens Groth, Christophe Petit

ESORICS 2015

Constant-size structure-preserving signatures: Generic constructions and simple assumptions

Masayuki Abe, Melissa Chase,
Bernardo David❖
, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo

ASIACRYPT 2012

Foundations of Fully Dynamic Group Signatures

Jonathan Bootle, Andrea Cerulli,
Pyrros Chaidos❖
, Essam Ghadafi, Jens Groth

ACNS 2016

Foundations of Fully Dynamic Group Signatures

Jonathan Bootle, Andrea Cerulli,
Pyrros Chaidos❖
, Essam Ghadafi, Jens Groth

ACNS 2016

BeleniosRF: A Non-Interactive Receipt-Free Electronic Voting Scheme

Pyrros Chaidos❖
, Véronique Cortier, Georg Fuchsbauer, David Galindo

SIGSAC 2016

Tagged one-time signatures: Tight security and optimal tag size

Masayuki Abe,
Bernardo David❖
, Markulf Kohlweiss, Ryo Nishimaki, Miyako Ohkubo

PKC 2013

A Formal Classification of Internet Banking Attacks and Vulnerabilities

Laerte Peotta, Marcelo Holtz,
Bernardo David❖
, Flavio Deus, RT de Sousa

IJCSIT 2011

Brick: Asynchronous Incentive-Compatible Payment Channels

Zeta Avarikioti❖
, Eleftherios Kokoris-Kogias, Roger Wattenhofer,
Dionysis Zindros❖

FC 2021

ALBATROSS: Publicly AttestabLe BATched Randomness Based On Secret Sharing

Ignacio Cascudo,
Bernardo David❖

ASIACRYPT 2020

P2DEX: privacy-preserving decentralized cryptocurrency exchange

Carsten Baum,
Bernardo David❖
, Tore Kasper Frederiksen

ACNS 2021

Cerberus Channels: Incentivizing Watchtowers for Bitcoin

Zeta Avarikioti❖
,
Orfeas Stefanos Thyfronitis Litos❖
, Roger Wattenhofer

FC 2020

A Composable Security Treatment of the Lightning Network

Aggelos Kiayias,
Orfeas Stefanos Thyfronitis Litos❖

CSF 2020

TARDIS: a foundation of time-lock puzzles in UC

Carsten Baum,
Bernardo David❖
, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner

EUROCRYPT 2021

Insured MPC: Efficient secure computation with financial penalties

Carsten Baum,
Bernardo David❖
, Rafael Dowsley

FC 2020

Divide & Scale: Formalization and Roadmap to Robust Sharding

Zeta Avarikioti❖
, Antoine Desjardins, Lefteris Kokoris-Kogias, Roger Wattenhofer

SIROCCO 2023

Rate-1, linear time and additively homomorphic UC commitments

Ignacio Cascudo, Ivan Damgård,
Bernardo David❖
, Nico Döttling, Jesper Buus Nielsen

CRYPTO 2016

A Framework for Efficient Adaptively Secure Composable Oblivious Transfer in the ROM

Paulo SLM Barreto,
Bernardo David❖
, Rafael Dowsley, Kirill Morozov, Anderson CA Nascimento

ePrint 2017

Universally composable oblivious transfer based on a variant of LPN

Bernardo David❖
, Rafael Dowsley, Anderson CA Nascimento

CANS 2014

Towards secure and efficient payment channels

Zeta Avarikioti❖
, Felix Laufenberg, Jakub Sliwinski, Yuyi Wang, Roger Wattenhofer

arXiv 2018

Ride the lightning: The game theory of payment channels

Zeta Avarikioti❖
, Lioba Heimbach, Yuyi Wang, Roger Wattenhofer

FC 2020

A formal treatment of hardware wallets

Myrto Arapinis, Andriana Gkaniatsou,
Dimitris Karakostas❖
, Aggelos Kiayias

FC 2019

Building Scalable Distributed Intrusion Detection Systems Based on the MapReduce Framework

Marcelo D Holtz,
Bernardo David❖
, Rafael Timóteo de Sousa Júnior

Revista Telecommun 2011

Compact VSS and efficient homomorphic UC commitments

Ivan Damgård,
Bernardo David❖
, Irene Giacomelli, Jesper Buus Nielsen

ASIACRYPT 2014

Efficient Designated-Verifier Non-interactive Zero-Knowledge Proofs of Knowledge

Pyrros Chaidos❖
, Geoffroy Couteau

EUROCRYPT 2018

Securing Proof-of-Work Ledgers via Checkpointing

Dimitris Karakostas❖
, Aggelos Kiayias

ICBC 2021

Efficient unconditionally secure comparison and privacy preserving machine learning classification protocols

Bernardo David❖
, Rafael Dowsley, Raj Katti, Anderson CA Nascimento

PROVSEC 2015

Encryption to the future: a paradigm for sending secret messages to future (anonymous) committees

Matteo Campanelli,
Bernardo David❖
, Hamidreza Khoshakhlagh, Anders Konring, Jesper Buus Nielsen

ASIACRYPT 2022

GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy.

Bernardo David❖
, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi

CCS 2022

SoK: Mitigation of front-running in decentralized finance

Carsten Baum, James Hsin-yu Chiang,
Bernardo David❖
, Tore Kasper Frederiksen, Lorenzo Gentile

FC 2022

CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time

Carsten Baum,
Bernardo David❖
, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner

PKC 2023

Making Sigma-protocols Non-interactive without Random Oracles

Pyrros Chaidos❖
, Jens Groth

PKC 2015

Additively Homomorphic UC commitments with Optimal Amortized Overhead

Ignacio Cascudo Pueyo, Ivan Bjerre Damgård, Bernardo Machado David, Irene Giacomelli, Jesper Buus Nielsen, Roberto Trifiletti

PKC 2015

Payment network design with fees

Zeta Avarikioti❖
, Gerrit Janssen, Yuyi Wang, Roger Wattenhofer

ESORICS 2018

Efficient Zero-Knowledge Proof Systems

Jonathan Bootle, Andrea Cerulli,
Pyrros Chaidos❖
, Jens Groth

FOSAD 2015

New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: Anemoi Permutations and Jive Compression Mode

Clémence Bouvier1, Pierre Briaud,
Pyrros Chaidos❖
, Léo Perrin, Robin Salen, Vesselin Velichkov, Danny Willems

CRYPTO 2023

FnF-BFT: A BFT Protocol with Provable Performance Under Attack

Zeta Avarikioti❖
, Lioba Heimbach, Roland Schmid, Laurent Vanbever, Roger Wattenhofer, Patrick Wintermeyer

SIROCCO 2023

Structure and content of the visible Darknet

Zeta Avarikioti❖
, Roman Brunner, Aggelos Kiayias, Roger Wattenhofer,
Dionysis Zindros❖

arXiv 2018

Hide & Seek: Privacy-Preserving Rebalancing on Payment Channel Networks

Zeta Avarikioti❖
, Krzysztof Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, Michelle Yeo

FC 2022

Trust is Risk: A Decentralized Financial Trust Platform

Orfeas Stefanos Thyfronitis Litos❖
,
Dionysis Zindros❖

FC 2017

Bitcoin Security under Temporary Dishonest Majority

Zeta Avarikioti❖
, Lukas Käppeli, Yuyi Wang, Roger Wattenhofer

FC 2019

Kaleidoscope: An efficient poker protocol with payment distribution and penalty enforcement

Bernardo David❖
, Rafael Dowsley, Mario Larangeira

FC 2018

YOLO YOSO: Fast and simple encryption and secret sharing in the YOSO model

Ignacio Cascudo,
Bernardo David❖
, Lydia Garms, Anders Konring

ASIACRYPT 2022

Unconditionally secure, universally composable privacy preserving linear algebra

Bernardo David❖
, Rafael Dowsley, Jeroen van de Graaf, Davidson Marques, Anderson CA Nascimento, Adriana CB Pinto

TIFS 2015

A Puff of Steem: Security Analysis of Decentralized Content Curation

Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro,
Orfeas Stefanos Thyfronitis Litos❖

TOKENOMICS 2019

Cryptocurrency Egalitarianism: A Quantitative Approach

Dimitris Karakostas❖
, Aggelos Kiayias, Christos Nasikas,
Dionysis Zindros❖

TOKENOMICS 2019

Compact storage of superblocks for NiPoPoW applications

Kostis Karantias, Aggelos Kiayias,
Dionysis Zindros❖

MARBLE 2019

Applying Divertibility to Blind Ballot Copying in the Helios Internet Voting System

Yvo Desmedt,
Pyrros Chaidos❖

ESORICS 2012

Updatable Blockchains

Michele Ciampi, Nikos Karayannidis, Aggelos Kiayias,
Dionysis Zindros❖

ESORICS 2020

Algorithmic channel design

Zeta Avarikioti❖
, Yuyi Wang, Roger Wattenhofer

ISAAC 2018

A Gas-Efficient Superlight Bitcoin Client in Solidity

Stelios Daveas, Kostis Karantias, Aggelos Kiayias,
Dionysis Zindros❖

AFT 2020

How to Trust Strangers: Composition of Byzantine Quorum Systems

Orestis Alpos❖
, Christian Cachin, Luca Zanolini

SRDS 2021

Mining in Logarithmic Space

Aggelos Kiayias, Nikos Leonardos,
Dionysis Zindros❖

SIGSAC 2021

Eagle: Efficient privacy preserving smart contracts

Carsten Baum, James Hsin-yu Chiang,
Bernardo David❖
, Tore Kasper Frederiksen

FC 2023

Universally composable oblivious transfer from lossy encryption and the McEliece assumptions

Bernardo Machado David, Anderson CA Nascimento, Jörn Müller-Quade

ICITS 2012

TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation

Alexei Zamyatin,
Zeta Avarikioti❖
, Daniel Perez, William J. Knottenbelt

DPMCBT

Blind automatic malicious activity detection in honeypot data

Bernardo Machado David, JPCL da Costa, Anderson CA Nascimento, Dino Amaral, MD Holtz, RT de Sousa Jr

ICOFCS 2011

SoK: A Stratified Approach to Blockchain Decentralization

Dimitris Karakostas❖
, Aggelos Kiayias, Christina Ovezik

ePrint 2022

Mithril: Stake-based Threshold Multisignatures

Pyrros Chaidos❖
, Aggelos Kiayias

ePrint 2021

Payment Networks as Creation Games

Zeta Avarikioti❖
, Rolf Scheuner, Roger Wattenhofer

DPMCBT

ROYALE: a framework for universally composable card games with financial rewards and penalties enforcement

Bernardo David❖
, Rafael Dowsley, Mario Larangeira

FC 2019

FAST: Fair Auctions via Secret Transactions

Bernardo David❖
, Lorenzo Gentile, Mohsen Pourpouneh

ACNS 2022

Efficient UC Commitment Extension with Homomorphism for Free (and Applications)

Ignacio Cascudo, Ivan Damgård,
Bernardo David❖
, Nico Döttling, Rafael Dowsley, Irene Giacomelli

ASIACRYPT 2019

Improved blind automatic malicious activity detection in honeypot data

JPCL da Costa, Edison Pignaton de Freitas, Bernardo Machado David, AM Rubio Serrano, Dino Amaral, RT Sousa Júnior

ICOFCS 2012

MARS: Monetized Ad-hoc Routing System (A Position Paper)

Bernardo David❖
, Rafael Dowsley, Mario Larangeira

CRYBLOCK 2018

The Velvet Path to Superlight Blockchain Clients

Aggelos Kiayias, Andrianna Polydouri,
Dionysis Zindros❖

AFT 2021

Towards a game-theoretic security analysis of off-chain protocols

Sophie Rain,
Zeta Avarikioti❖
, Laura Kovács, Matteo Maffei

CSF 2023

Account Management in Proof of Stake Ledgers

Dimitris Karakostas❖
, Aggelos Kiayias, Mario Larangeira

SCN 2020

Universally composable private proximity testing

Rafael Tonicelli, Bernardo Machado David, Vinícius de Morais Alves

PROVSEC 2011

Smart Contract Derivatives

Kostis Karantias, Aggelos Kiayias,
Dionysis Zindros❖

MARBLE 2020

PAPR: Publicly auditable privacy revocation for anonymous credentials

Joakim Brorsson,
Bernardo David❖
, Lorenzo Gentile, Elena Pagnin, Paul Stankovski Wagner

CTRSA 2023

A framework for secure single sign-on

Bernardo Machado David, Anderson CA Nascimento, Rafael Tonicelli

ePrint 2011

Mt. Random: Multi-tiered randomness beacons

Ignacio Cascudo,
Bernardo David❖
, Omer Shlomovits, Denis Varlakov

ACNS 2023

SoK: Privacy-Enhancing Technologies in Finance

Carsten Baum, James Hsin-yu Chiang,
Bernardo David❖
, Tore Kasper Frederiksen

AFT 2023

Light Clients for Lazy Blockchains

Ertem Nusret Tas,
Dionysis Zindros❖
, Lei Yang, David Tse

FC 2024

On the Synchronization Power of Token Smart Contracts

Orestis Alpos❖
, Christian Cachin, Giorgia Azzurra Marson, Luca Zanolini

ICDCS 2021

Proofs of Proof-of-Stake with Sublinear Complexity

Shresth Agrawal❖
, Joachim Neu, Ertem Nusret Tas,
Dionysis Zindros❖

AFT 2023

Efficient fully simulatable oblivious transfer from the McEliece assumptions

Bernardo Machado David, Anderson CA Nascimento, Rafael T de Sousa

IEICET 2012

FairPoS: Input Fairness in Permissionless Consensus

James Hsin-yu Chiang,
Bernardo David❖
, Ittay Eyal, Tiantian Gong

AFT 2023

Consensus Beyond Thresholds: Generalized Byzantine Quorums Made Live

Orestis Alpos❖
, Christian Cachin

SRDS 2020

Suborn Channels: Incentives Against Timelock Bribes

Zeta Avarikioti❖
,
Orfeas Stefanos Thyfronitis Litos❖

FC 2022

Practical linear-space Approximate Near Neighbors in high dimension

Zeta Avarikioti❖
, Ioannis Z Emiris, Ioannis Psarros, Georgios Samaras

arXiv 2016

High-dimensional approximate r-nets

Zeta Avarikioti❖
, Ioannis Z Emiris, Loukas Kavouras, Ioannis Psarros

ALGORITHMICA 2020

Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks

Orestis Alpos❖
, Ignacio Amores-Sesar, Christian Cachin, Michelle Yeo

arXiv 2023

A Parallel Approach to PCA Based Malicious Activity Detection in Distributed Honeypot Data

Bernardo Machado David, João Paulo Carvalho Lustosa da Costa, Anderson Clayton Alves Nascimento, Marcelo Dias Holtz, Dino Macedo Amaral, Rafael Timóteo de Sousa Júnior

ABEAT 2011

21-bringing down the complexity: fast composable protocols for card games without secret state

Bernardo David❖
, Rafael Dowsley, Mario Larangeira

ACISP 2018

Perfect MPC over Layered Graphs

Bernardo David❖
, Giovanni Deligios, Aarushi Goel, Yuval Ishai, Anders Konring, Eyal Kushilevitz, Chen-Da Liu-Zhang, Varun Narayanan

CRYPTO 2023

Generalizing efficient multiparty computation

Bernardo M David, Ryo Nishimaki, Samuel Ranellucci, Alain Tapp

ICITS 2015

Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks

Dionysis Zindros❖

FCWTS 2021

A Bayesian Trust Model for the MAC Layer in IEEE 802.15.4 Networks

Bernardo Machado David, Rafael Timoteo de Sousa Jr

ISTT 2010

Practical Large-Scale Proof-of-Stake Asynchronous Total-Order Broadcast

Orestis Alpos❖
, Christian Cachin, Simon Holmgaard Kamp, Jesper Buus Nielsen

ePrint 2023

The Principal–Agent Problem in Liquid Staking

Apostolos Tzinas❖
,
Dionysis Zindros❖

FCWTS 2023

(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge

Carsten Baum,
Bernardo David❖
, Rafael Dowsley

PROVSEC 2022

Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi

Giulia Scaffino❖
,
Lukas Aumayr❖
,
Zeta Avarikioti❖
, Matteo Maffei

USENIX 2023

A Context-Dependent Trust Model for the MAC Layer in LR-WPANs

Bernardo M David, Beatriz Santana, Laerte Peotta, Marcelo D Holtz, Rafael Timóteo de Sousa Jr

IJCSE 2010

DSKE: Digital Signatures with Key Extraction

Orestis Alpos❖
, Christian Cachin, Simon Holmgaard Kamp, Jesper Buus Nielsen

ePrint 2022

Efficient Composable Oblivious Transfer from CDH in the Global Random Oracle Model

Bernardo David❖
, Rafael Dowsley

CANS 2020

Publicly Verifiable Secret Sharing over Class Groups and Applications to DKG and YOSO

Ignacio Cascudo,
Bernardo David❖

EUROCRYPT 2024

Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation

Samarth Tiwari, Michelle Yeo,
Zeta Avarikioti❖
, Iosif Salem, Krzysztof Pietrzak, Stefan Schmid

AFT 2022

Hours of Horus: Keyless Cryptocurrency Wallets

Dionysis Zindros❖

FC 2022

Correlated-Output Differential Privacy and Applications to Dark Pools

James Hsin-yu Chiang,
Bernardo David❖
, Mariana Gama, Christian Janos Lebeda

ePrint 2023

Route Discovery in Private Payment Channel Networks

Zeta Avarikioti❖
, Mahsa Bastankhah, Mohammad Ali Maddah-Ali, Krzysztof Pietrzak, Jakub Svoboda, Michelle Yeo

ePrint 2021

Lightning Creation Games

Zeta Avarikioti❖
, Tomasz Lizurej, Tomasz Michalak, Michelle Yeo

ICDCS 2023

An architecture for distributed Network Intrusion Detection Based on the Map-Reduce Framework

Marcelo D Holtz, Bernardo M David, Laerte Peotta, RT de Sousa Jr

IWT 2011

A Decentralized Information Marketplace Preserving Input and Output Privacy

Steven Golob, Sikha Pentyala, Rafael Dowsley,
Bernardo David❖
, Mario Larangeira, Martine De Cock, Anderson Nascimento

DEC 2023

Thetacrypt: A Distributed Service for Threshold Cryptography On-Demand

Orestis Alpos❖
, Mariarosaria Barbaraci, Christian Cachin, Noah Schmid, Michael Senn

MIDDLEWARE 2023

Do Not Trust in Numbers: Practical Distributed Cryptography With General Trust

Orestis Alpos❖
, Christian Cachin

SSS 2023

On-Chain Timestamps Are Accurate

Apostolos Tzinas❖
, Srivatsan Sridhar,
Dionysis Zindros❖

FC 2024

Online Payment Network Design

Zeta Avarikioti❖
, Kenan Besic, Yuyi Wang, Roger Wattenhofer

ESORICS 2019

Better Safe than Sorry: Recovering after Adversarial Majority

Srivatsan Sridhar,
Dionysis Zindros❖
, David Tse

arXiv 2023

High Dimensional Clustering with r-nets

Zeta Avarikioti❖
, Alain Ryser, Yuyi Wang, Roger Wattenhofer

AAAI 2019

Universally Composable Committed Oblivious Transfer With A Trusted Initializer

Adriana CB Pinto, Bernardo Machado David, Jeroen van de Graaf, Anderson CA Nascimento

SBSEG 2012

Cassiopeia: Practical On-Chain Witness Encryption

Schwinn Saereesitthipitak,
Dionysis Zindros❖

FC 2023

A Better Proof-of-Work Fork Choice Rule

Karl Kreder, Shreekara Shastry,
Apostolos Tzinas❖
, Sriram Vishwanath,
Dionysis Zindros❖

ePrint 2024

Rollerblade: Replicated Distributed Protocol Emulation on Top of Ledgers

Dionysis Zindros❖
,
Apostolos Tzinas❖
, David Tse

ePrint 2024

Blink: An Optimal Proof of Proof-of-Work

Lukas Aumayr❖
,
Zeta Avarikioti❖
, Matteo Maffei,
Giulia Scaffino❖
,
Dionysis Zindros❖

ePrint 2024

Local Differential Privacy in Voting

Rosario Giustolisi,
Bernardo David❖
, Victor Mortensen, Morten Pedersen

ITASEC 2023

Updatable Privacy-Preserving Blueprints

Bernardo David❖
, Felix Engelmann, Tore Frederiksen, Markulf Kohlweiss, Elena Pagnin, Mikhail Volkhov

ePrint 2023

CaSCaDE: (Time-Based) Cryptography from Space Communications DElay

Carsten Baum,
Bernardo David❖
, Elena Pagnin, Akira Takahashi

ePrint 2023

A Framework For Efficient Homomorphic Universally Composable Commitments

Bernardo Machado David

AUCS 2016

Bribe & Fork: Cheap Bribing Attacks via Forking Threat

Zeta Avarikioti❖
, Paweł Kędzior, Tomasz Lizurej, Tomasz Michalak

arXiv 2024

Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks

Zeta Avarikioti❖
, Stefan Schmid, Samarth Tiwari

ePrint 2023

Obtaining Efficient Fully Simulatable Oblivious Transfer from General Assumptions

Bernardo M David, Anderson CA Nascimento, Rafael Tonicelli

SBSEG 2011