Publications

Papers and articles advancing the frontiers of decentralized systems, cryptography, and distributed computing.

A finality calculator for Filecoin’s Expected Consensus

Guy Goren, Jorge M. Soares · 2024

Filecoin Proof of Useful Space

Irene Giacomelli, Luca Nizzardo · 2023

Security analysis of Filecoin's Expected Consensus in the Byzantine vs honest model

Xuechao Wang, Sarah Azouvi, Marko Vukolić · AFT 2023 · 2023

Base fee manipulation in Ethereum's EIP-1559 transaction fee mechanism

Sarah Azouvi, Guy Goren, Lioba Heimbach, Alexander Hicks · DISC 2023 · 2023

SpaceVDF: Verifiable delay functions using cryptographic satellites

Yonatan Winetraub, Elad Sagi, Yan Michalevsky, Chhi'mèd Künzang, Jonathan Gross · 2023

LURK: Lambda, the ultimate recursive knowledge

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong · 2023

tlock: Practical timelock encryption from threshold BLS

Nicolas Gailly, Kelsey Melissaris, Yolan Romailler · 2023

Generalized Impact Evaluators

· 2023

Pikachu: Securing PoS blockchains from long-range attacks by checkpointing into Bitcoin PoW using Taproot

Sarah Azouvi, Marko Vukolić · ConsensusDay 22 · 2022

Enriching Kademlia by partitioning

João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras · DINPS 22 · 2022

To the InterPlanetary File System – and beyond!: Peer-to-peer file sharing would make the Internet far more efficient

Yiannis Psaras, Jorge M. Soares, David Dias · IEEE Spectrum · 2022

Structure-preserving compilers from new notions of obfuscations

Matteo Campanelli, Danilo Francati, Claudio Orlandi · 2022

Mir-BFT: Scalable and robust BFT for decentralized networks

Chrysoula Stathakopoulou, David Tudor, Matej Pavlovic, Marko Vukolić · Journal of Systems Research · 2022

Decentralized hole punching

Marten Seemann, Max Inden, Dimitris Vyzovitis · DINPS 2022 · 2022

Impossibilities in succinct arguments: Black-box extraction and more

Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim · 2022

Curve trees: Practical and transparent zero-knowledge accumulators

Matteo Campanelli, Mathias Hall Andersen · 2022

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 · 2022

Design and evaluation of IPFS: A storage layer for the decentralized web

Dennis Trautwein, Aravindh Raman, Gareth Tyson, Ignacio Castro, Will Scott, Moritz Schubotz, Bela Gipp, Yiannis Psaras · ACM SIGCOMM 2022 · 2022

Linear-map vector commitments and their practical applications

Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico · 2022

What makes Fiat–Shamir zkSNARKs (updatable SRS) simulation extractable?

Chaya Ganeshe, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac · SCN 2022 · 2022

Caulk: Lookup arguments in sublinear time

Arantxa Zapico, Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, Mark Simkin · 2022

Influencing NFT pricing on secondary markets: A case study of Vpunks

Trent Davis · CryptoAssets and Digital Asset Investment Conference · 2022

On the impossibility of algebraic vector commitments in pairing-free groups

Dario Catalano, Dario Fiore, Rosario Gennaro, Emmanuele Giunta · 2022

State machine replication scalability made simple

Chrysoula Stathakopoulou, Matej Pavlovic, Marko Vukolić · EuroSys '22: Seventeenth European Conference on Computer Systems · 2022

Witness-authenticated key exchange revisited: Improved models, simpler constructions, extensions to groups

Matteo Campanelli, Rosario Gennaro, Kelsey Melissaris, Luca Nizzardo · 2022

Hierarchical consensus: A horizontal scaling framework for blockchains

Alfonso de la Rocha, Lefteris Kokoris Kogias, Jorge M. Soares, Marko Vukolić · DINPS 22 · 2022

Decentralisation conscious players and system reliability

Sarah Azouvi, Alexander Hicks · Financial Cryptography and Data Security 2022 · 2022

Sliding window challenge process for congestion detection

Ayelet Lotem, Sarah Azouvi, Aviv Zohar, Patrick McCorry · Financial Cryptography and Data Security 2022 · 2022

On the future of decentralized computing

Marko Vukolić · Bulletin of the European Association for Theoretical Computer Science · 2021

Private attacks in longest chain proof-of-stake protocols with single secret leader elections

Sarah Azouvi, Daniele Cappelletti · AFT '21: 3rd ACM Conference on Advances in Financial Technologies · 2021

MyOPE: Malicious security for oblivious polynomial evaluation

Malika Izabachène, Anca Nitulescu, Paola de Perthuis, David Pointcheval · SCN 2022 · 2021

Count me in! Extendability for threshold ring signatures

Diego Aranha, Mathias Hall Anderson, Anca Nitulescu, Elena Pagnin, Sophia Yakoubov · PKC 2022 · 2021

Pulsarcast: Scalable, reliable pub-sub over P2P nets

Joao Antunes, David Dias, Luis Veiga · DI2F · 2021

The case for AI based Web3 reputation systems

Navin V. Keizer, Fan Yang, Yiannis Psaras, George Pavlou · DI2F · 2021

IPFS-FAN: A function-addressable computation network

Alfonso de la Rocha, Yiannis Psaras, David Dias · DI2F · 2021

SnarkPack: Practical SNARK aggregation

Nicolas Gailly, Mary Maller, Anca Nitulescu · Financial Cryptography and Data Security 2022 · 2021

Rinocchio: SNARKs for ring arithmetic

Chaya Ganesh, Anca Nitulescu, Eduardo Soria Vazquez · 2021

Accelerating content routing with Bitswap: A multi-path file transfer protocol in IPFS and Filecoin

Alfonso de la Rocha, David Dias, Yiannis Psaras · 2021

Improving system resilience through formal verification of transactive energy controls

Michael Hammersley, Francis M. O'Sullivan, Alan Ransil · IEEE PES Transactive Energy Systems Conference (TESC) · 2020

PASTRAMI: Privacy-preserving, auditable, scalable & trustworthy auctions for multiple items

Michał Król, Alberto Sonnino, Argyrios Tasiopoulos, Yiannis Psaras, Etienne Rivière · Middleware '20 · 2020

Incrementally aggregatable vector commitment techniques and applications to verifiable decentralized storage

Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo · Advances in Cryptology – ASIACRYPT 2020 · 2020

Subversion-resilient enhanced privacy ID

Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente · Cryptographers’ Track at the RSA Conference · 2020

Winkle: foiling long-range attacks in proof-of-stake systems

Sarah Azouvi, George Danezis, Valeria Nikolaenko · AFT '20: 2nd ACM Conference on Advances in Financial Technologies · 2020

Rewarding relays for decentralised NAT traversal using smart contracts

Navin V. Keizer, Onur Ascigil, Yiannis Psaras, George Pavlou · Mobihoc '20 · 2020

Engineering Filecoin’s economy

Protocol Labs · 2020

GossipSub: Attack-resilient message propagation in the Filecoin and ETH2.0 networks

Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias, Yiannis Psaras · 2020

Automating QUIC interoperability testing

Marten Seemann, Jana Iyengar · ACM SIGCOMM 2020 Workshop on Evolution, Performance, and Interoperability of QUIC · 2020

Merkle-CRDTs: Merkle-DAGs meet CRDTs

Hector Sanjuan, Samuli Poyhtari, Pedro Teixeira, Yiannis Psaras · 2020

Gossipsub-v1.1 evaluation report

Dimitris Vyzovitis, Yusef Napora, Dirk McCormick, David Dias, Yiannis Psaras · 2020

MonZa: Fast maliciously secure two party computation on Z_{2^k}

Dario Catalano, Mario Di Raimondo, Dario Fiore, Irene Giacomelli · IACR International Conference on Practice and Theory of Public-Key Cryptography (PKC) · 2020

Censorship-resistant web annotations based on Ethereum and IPFS

João Santos, Nuno Santos, David Dias · SAC 2020 · 2020

SoK: Tools for game theoretic models of security for cryptocurrencies

Sarah Azouvi, Alexander Hicks · Cryptoeconomic Systems · 2020

Single secret leader election

Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, Nicola Greco · ACM Advances in Financial Technologies 2020 · 2020

Exploring connections between active learning and model extraction

Varun Chandrasekaran, Kamalika Chaudhuri, Irene Giacomelli, Somesh Jha, Songbai Yan · 2019

Efficient UC commitment extension with homomorphism for free (and applications)

Ignacio Cascudo, Ivan Damgård, Bernardo David, Nico Döttling, Rafael Dowsley, Irene Giacomelli · Advances in Cryptology – ASIACRYPT 2019 · 2019

Dioptics: A common generalization of open games and gradient-based learners

David Dalrymple · Fifth Symposium on Compositional Structures (SYCO) · 2019

A dual-process approach for automated knowledge creation

Alan Ransil, Chhi'mèd Künzang · Metascience Symposium · 2019

U.S. energy policy and market design

Michael Hammersley · 2019

PLONK: Permutations over Lagrange-bases for oecumenical noninteractive arguments of knowledge

Ariel Gabizon, Zachary J Williamson, Oana Ciobotaru · Stanford Blockchain Conference · 2019

A computable multilayer system stack for future-proof interoperability

Alan Ransil, Edwin Fonkwe Fongang, Michael Hammersley, Ivan Celanovic, Francis O'Sullivan · IEEE PES Transactive Energy Systems Conference (TESC) · 2019

AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system

Ariel Gabizon · 2019

Microgrids

Alan Ransil · 2018

Scaling proof-of-replication for Filecoin mining

Ben Fisch, Joseph Bonneau, Nicola Greco, Juan Benet · 2018

Smart grid pilot projects

Michael Hammersley · 2018

Price signals and demand-side management in the electric distribution and retail system

Alan Ransil · 2018

Energy pricing

Alan Ransil · 2018