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

Common Prefix Research

The Principal–Agent Problem in Liquid Staking

Apostolos Tzinas^❖
,
Dionysis Zindros^❖

FCWTS 2023

Blink: An Optimal Proof of Proof-of-Work

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

FC 2024

Pod: An Optimal-Latency, Censorship-Free, and Accountable Generalized Consensus Layer

Orestis Alpos^❖
,
Bernardo David^❖
,
Jakov Mitrovski^❖
,
Odysseas Sofikitis^❖
,
Dionysis Zindros^❖

arXiv 2025

On-Chain Timestamps Are Accurate

Apostolos Tzinas^❖
, Srivatsan Sridhar,
Dionysis Zindros^❖

FC 2024

A Better Proof-of-Work Fork Choice Rule

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

ePrint 2024

An overview of the efficiency and censorship-resistance guarantees of widely-used consensus protocols

Orestis Alpos^❖
,
Bernardo David^❖
,
Nikolaos Kamarinakis^❖
,
Dionysis Zindros^❖

arXiv 2025

Past Research by Common Prefix Scientists

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

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

A formal treatment of hardware wallets

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

FC 2019

Ride the lightning: The game theory of payment channels

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

FC 2020

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

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

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

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

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

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

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

Efficient Zero-Knowledge Proof Systems

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

FOSAD 2015

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

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

Bernardo David^❖
, Rafael Dowsley, Mario Larangeira

FC 2018

Bitcoin Security under Temporary Dishonest Majority

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

FC 2019

A Puff of Steem: Security Analysis of Decentralized Content Curation

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

TOKENOMICS 2019

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

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

Universally composable oblivious transfer from lossy encryption and the McEliece assumptions

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

ICITS 2012

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

Sok: Attacks on DAOs

Rainer Feichtinger,
Robin Fritsch^❖
,
Lioba Heimbach^❖
, Yann Vonlanthen, Roger Wattenhofer

arXiv 2024

Measuring Arbitrage Losses and Profitability of AMM Liquidity

Robin Fritsch^❖
, Andrea Canidio

arXiv 2024

Payment Networks as Creation Games

Zeta Avarikioti^❖
, Rolf Scheuner, Roger Wattenhofer

DPMCBT

TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation

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

DPMCBT

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

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

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

Bernardo David^❖
, Rafael Dowsley, Mario Larangeira

CRYBLOCK 2018

Universally composable private proximity testing

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

PROVSEC 2011

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

The Velvet Path to Superlight Blockchain Clients

Aggelos Kiayias, Andrianna Polydouri,
Dionysis Zindros^❖

AFT 2021

PAPR: Publicly auditable privacy revocation for anonymous credentials

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

CTRSA 2023

Smart Contract Derivatives

Kostis Karantias, Aggelos Kiayias,
Dionysis Zindros^❖

MARBLE 2020

A framework for secure single sign-on

Bernardo Machado David, Anderson CA Nascimento, Rafael Tonicelli

ePrint 2011

SoK: Privacy-Enhancing Technologies in Finance

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

AFT 2023

Mt. Random: Multi-tiered randomness beacons

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

ACNS 2023

Proofs of Proof-of-Stake with Sublinear Complexity

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

AFT 2023

On the Synchronization Power of Token Smart Contracts

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

ICDCS 2021

Light Clients for Lazy Blockchains

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

FC 2024

Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks

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

arXiv 2023

Efficient fully simulatable oblivious transfer from the McEliece assumptions

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

IEICET 2012

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

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

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

Generalizing efficient multiparty computation

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

ICITS 2015

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

Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks

Dionysis Zindros^❖

FCWTS 2021

Glacius: Threshold schnorr signatures from DDH with full adaptive security

Renas Bacho, Sourav Das,
Julian Loss^❖
, Ling Ren

EUROCRYPT 2025

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

Bernardo Machado David, Rafael Timoteo de Sousa Jr

ISTT 2010

Blind Multisignatures for Anonymous Tokens with Decentralized Issuance

Ioanna Karantaidou, Omar Renawi, Foteini Baldimtsi,
Nikolaos Kamarinakis^❖
, Jonathan Katz,
Julian Loss^❖

CCS 2024

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

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

ePrint 2023

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

Carsten Baum,
Bernardo David^❖
, Rafael Dowsley

PROVSEC 2022

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

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

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

USENIX 2023

BitVM: Quasi-Turing Complete Computation on Bitcoin

Lukas Aumayr^❖
,
Zeta Avarikioti^❖
, Robin Linus, Matteo Maffei, Andrea Pelosi, Christos Stefo, Alexei Zamyatin

ePrint 2024

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

Hours of Horus: Keyless Cryptocurrency Wallets

Dionysis Zindros^❖

FC 2022

Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation

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

AFT 2022

DSKE: Digital Signatures with Key Extraction

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

ePrint 2022

Consensus Under Adversary Majority Done Right

Srivatsan Sridhar, Ertem Nusret Tas, Joachim Neu,
Dionysis Zindros^❖
, David Tse

FC 2025

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

Lightning Creation Games

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

ICDCS 2023

X-Transfer: Enabling and optimizing cross-PCN transactions

Lukas Aumayr^❖
,
Zeta Avarikioti^❖
, Iosif Salem, Stefan Schmid, Michelle Yeo

FC 2025

Route Discovery in Private Payment Channel Networks

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

ePrint 2021

Correlated-Output Differential Privacy and Applications to Dark Pools

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

ePrint 2023

Thetacrypt: A Distributed Service for Threshold Cryptography On-Demand

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

MIDDLEWARE 2023

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

A Formally Verified Lightning Network

Grzegorz Fabiański, Rafał Stefański,
Orfeas Stefanos Thyfronitis Litos^❖

FC 2025

SoK: Measuring Blockchain Decentralization

Christina Ovezik,
Dimitris Karakostas^❖
, Mary Milad, Aggelos Kiayias, Daniel W. Woods

arXiv 2025

High Dimensional Clustering with r-nets

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

AAAI 2019

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

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

Orestis Alpos^❖
, Christian Cachin

SSS 2023

Obtaining Efficient Fully Simulatable Oblivious Transfer from General Assumptions

Bernardo M David, Anderson CA Nascimento, Rafael Tonicelli

SBSEG 2011

Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks

Zeta Avarikioti^❖
, Stefan Schmid, Samarth Tiwari

ePrint 2023

Clementine: A Collateral-Efficient, Trust-Minimized, and Scalable Bitcoin Bridge

Ekrem Bal,
Lukas Aumayr^❖
, Atacan İyidoğan,
Giulia Scaffino^❖
, Hakan Karakuş, Cengiz Eray Aslan,
Orfeas Stefanos Thyfronitis Litos^❖

ePrint 2025

Formalization and security analysis of the Bridgeless protocol

Orestis Alpos^❖
, Oleg Fomenko,
Dimitris Karakostas^❖
, Oleksandr Kurbatov, Andrey Sabelnikov

arXiv 2025

Bribe & Fork: Cheap Bribing Attacks via Forking Threat

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

arXiv 2024

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

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

ePrint 2023

Cassiopeia: Practical On-Chain Witness Encryption

Schwinn Saereesitthipitak,
Dionysis Zindros^❖

FC 2023

Bridging Bitcoin to Second Layers via BitVM2

Robin Linus,
Lukas Aumayr^❖
,
Zeta Avarikioti^❖
, Matteo Maffei, Andrea Pelosi,
Orfeas Stefanos Thyfronitis Litos^❖
, Christos Stefo, David Tse, Alexei Zamyatin

ePrint 2025

Rollerblade: Replicated Distributed Protocol Emulation on Top of Ledgers

Dionysis Zindros^❖
,
Apostolos Tzinas^❖
, David Tse

ePrint 2024

Optimal Reward Allocation via Proportional Splitting

Lukas Aumayr^❖
,
Zeta Avarikioti^❖
,
Dimitris Karakostas^❖
, Karl Kreder, Shreekara Shastry

arXiv 2025

Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head

James Hsin-yu Chiang^❖
, Ivan Damgård, William R. Duro, Sunniva Engan, Sebastian Kolby, Peter Scholl

CCS 2025

Updatable Privacy-Preserving Blueprints

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

ePrint 2023

Universally Composable Committed Oblivious Transfer With A Trusted Initializer

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

SBSEG 2012

A Framework For Efficient Homomorphic Universally Composable Commitments

Bernardo Machado David

AUCS 2016

Local Differential Privacy in Voting

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

ITASEC 2023