Bernardo Machado David

According to our database, Bernardo Machado David authored at least 66 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Proofs of sequential communication delays from physical assumptions and their applications.

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

Cryptogr. Commun., September, 2025

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

Orestis Alpos, Bernardo David, Nikolas Kamarinakis, Dionysis Zindros

CoRR, April, 2025

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

Orestis Alpos, Bernardo David, Dionysis Zindros

CoRR, January, 2025

Rumors MPC: GOD for Dynamic Committees, Low Communication via Constant-Round Chat.

Bernardo David, Arup Mondal, Rahul Satish

IACR Cryptol. ePrint Arch., 2025

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

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

Proceedings of the 39th International Symposium on Distributed Computing, 2025

Universally Composable Interactive and Ordered Multi-signatures.

Carsten Baum, Bernardo David, Elena Pagnin, Akira Takahashi

Proceedings of the Public-Key Cryptography - PKC 2025, 2025

2024

Detecting Rogue Decryption in (Threshold) Encryption via Self-Incriminating Proofs.

James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen, Arup Mondal, Esra Yeniaras

IACR Cryptol. ePrint Arch., 2024

Consistency-or-Die: Consistency for Key Transparency.

Joakim Brorsson, Elena Pagnin, Bernardo David, Paul Stankovski Wagner

IACR Cryptol. ePrint Arch., 2024

MUSEN: Aggregatable Key-Evolving Verifiable Random Functions and Applications.

Bernardo David, Rafael Dowsley, Anders Konring, Mario Larangeira

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

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

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

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

Publicly Verifiable Secret Sharing Over Class Groups and Applications to DKG and YOSO.

Ignacio Cascudo, Bernardo David

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Updatable Privacy-Preserving Blueprints.

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

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Perfect MPC over Layered Graphs.

Bernardo David, Anders Konring, Yuval Ishai, Eyal Kushilevitz, Varun Narayanan

IACR Cryptol. ePrint Arch., 2023

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

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

Proceedings of the Public-Key Cryptography - PKC 2023, 2023

Local Differential Privacy in Voting.

Bernardo David, Rosario Giustolisi, Victor Mortensen, Morten Pedersen

Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023

Eagle: Efficient Privacy Preserving Smart Contracts.

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

Proceedings of the Financial Cryptography and Data Security, 2023

A Decentralized Information Marketplace Preserving Input and Output Privacy.

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

Proceedings of the Second ACM Data Economy Workshop, 2023

PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials.

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

Proceedings of the Topics in Cryptology - CT-RSA 2023, 2023

Perfect MPC over Layered Graphs.

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

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Correlated-Output Differential Privacy and Applications to Dark Pools.

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

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

FairPoS: Input Fairness in Permissionless Consensus.

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

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

SoK: Privacy-Enhancing Technologies in Finance.

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

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

Mt. Random: Multi-tiered Randomness Beacons.

Ignacio Cascudo, Bernardo David, Omer Shlomovits, Denis Varlakov

Proceedings of the Applied Cryptography and Network Security, 2023

2022

FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security.

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

IACR Cryptol. ePrint Arch., 2022

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

Carsten Baum, Bernardo David, Rafael Dowsley

Proceedings of the Provable and Practical Security, 2022

SoK: Mitigation of Front-Running in Decentralized Finance.

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

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy.

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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

YOLO YOSO: Fast and Simple Encryption and Secret Sharing in the YOSO Model.

Ignacio Cascudo, Bernardo David, Lydia Garms, Anders Konring

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 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

Proceedings of the Advances in Cryptology - ASIACRYPT 2022, 2022

FAST: Fair Auctions via Secret Transactions.

Bernardo David, Lorenzo Gentile, Mohsen Pourpouneh

Proceedings of the Applied Cryptography and Network Security, 2022

2021

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

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

IACR Cryptol. ePrint Arch., 2021

Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees.

Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders K. Kristensen, Jesper Buus Nielsen

IACR Cryptol. ePrint Arch., 2021

TARDIS: A Foundation of Time-Lock Puzzles in UC.

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

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange.

Carsten Baum, Bernardo David, Tore Kasper Frederiksen

Proceedings of the Applied Cryptography and Network Security, 2021

2020

CRAFT: Composable Randomness and Almost Fairness from Time.

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

IACR Cryptol. ePrint Arch., 2020

TARDIS: Time And Relative Delays In Simulation.

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

IACR Cryptol. ePrint Arch., 2020

A Framework for Universally Composable Publicly Verifiable Cryptographic Protocols.

Carsten Baum, Bernardo David, Rafael Dowsley

IACR Cryptol. ePrint Arch., 2020

Insured MPC: Efficient Secure Computation with Financial Penalties.

Carsten Baum, Bernardo David, Rafael Dowsley

Proceedings of the Financial Cryptography and Data Security, 2020

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

Bernardo David, Rafael Dowsley

Proceedings of the Cryptology and Network Security - 19th International Conference, 2020

ALBATROSS: Publicly AttestabLe BATched Randomness Based On Secret Sharing.

Ignacio Cascudo, Bernardo David

Proceedings of the Advances in Cryptology - ASIACRYPT 2020, 2020

2019

ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement.

Bernardo David, Rafael Dowsley, Mario Larangeira

Proceedings of the Financial Cryptography and Data Security, 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

Proceedings of the Advances in Cryptology - ASIACRYPT 2019, 2019

2018

Insured MPC: Efficient Secure Multiparty Computation with Punishable Abort.

Carsten Baum, Bernardo David, Rafael Dowsley

IACR Cryptol. ePrint Arch., 2018

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

Bernardo David, Rafael Dowsley, Mario Larangeira

Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, 2018

Kaleidoscope: An Efficient Poker Protocol with Payment Distribution and Penalty Enforcement.

Bernardo David, Rafael Dowsley, Mario Larangeira

Proceedings of the Financial Cryptography and Data Security, 2018

Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain.

Bernardo David, Peter Gazi, Aggelos Kiayias, Alexander Russell

Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

21 - Bringing Down the Complexity: Fast Composable Protocols for Card Games Without Secret State.

Bernardo David, Rafael Dowsley, Mario Larangeira

Proceedings of the Information Security and Privacy - 23rd Australasian Conference, 2018

2017

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

Bernardo Machado David, Peter Gazi, Aggelos Kiayias, Alexander Russell

IACR Cryptol. ePrint Arch., 2017

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

Paulo S. L. M. Barreto, Bernardo David, Rafael Dowsley, Kirill Morozov, Anderson C. A. Nascimento

IACR Cryptol. ePrint Arch., 2017

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol.

Aggelos Kiayias, Alexander Russell, Bernardo David, Roman Oliynykov

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

SCRAPE: Scalable Randomness Attested by Public Entities.

Ignacio Cascudo, Bernardo David

Proceedings of the Applied Cryptography and Network Security, 2017

2016

Unconditionally Secure, Universally Composable Privacy Preserving Linear Algebra.

Bernardo Machado David, Rafael Dowsley, Jeroen van de Graaf, Davidson Marques, Anderson C. A. Nascimento, Adriana C. B. Pinto

IEEE Trans. Inf. Forensics Secur., 2016

A Provably Secure Proof-of-Stake Blockchain Protocol.

Aggelos Kiayias, Ioannis Konstantinou, Alexander Russell, Bernardo David, Roman Oliynykov

IACR Cryptol. ePrint Arch., 2016

Rate-1, Linear Time and Additively Homomorphic UC Commitments.

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

Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

2015

Efficient Unconditionally Secure Comparison and Privacy Preserving Machine Learning Classification Protocols.

Bernardo Machado David, Rafael Dowsley, Raj S. Katti, Anderson C. A. Nascimento

Proceedings of the Provable Security, 2015

Additively Homomorphic UC Commitments with Optimal Amortized Overhead.

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

Proceedings of the Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30, 2015

Generalizing Efficient Multiparty Computation.

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

Proceedings of the Information Theoretic Security - 8th International Conference, 2015

2014

Universally Composable Oblivious Transfer Based on a Variant of LPN.

Bernardo David, Rafael Dowsley, Anderson C. A. Nascimento

Proceedings of the Cryptology and Network Security - 13th International Conference, 2014

Compact VSS and Efficient Homomorphic UC Commitments.

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

Proceedings of the Advances in Cryptology - ASIACRYPT 2014, 2014

2013

Tagged One-Time Signatures: Tight Security and Optimal Tag Size.

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

Proceedings of the Public-Key Cryptography - PKC 2013 - 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26, 2013

2012

Efficient Fully Simulatable Oblivious Transfer from the McEliece Assumptions.

Bernardo Machado David, Anderson C. A. Nascimento, Rafael T. de Sousa Jr.

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Universally Composable Oblivious Transfer from Lossy Encryption and the McEliece Assumptions.

Bernardo Machado David, Anderson C. A. Nascimento, Jörn Müller-Quade

Proceedings of the Information Theoretic Security - 6th International Conference, 2012

Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions.

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

Proceedings of the Advances in Cryptology - ASIACRYPT 2012, 2012

2011

A Framework for Secure Single Sign-On.

Bernardo Machado David, Anderson C. A. Nascimento, Rafael Tonicelli

IACR Cryptol. ePrint Arch., 2011

Universally Composable Private Proximity Testing.

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

Proceedings of the Provable Security - 5th International Conference, 2011

Efficient fully simulatable oblivious transfer from the McEliece assumptions.

Bernardo Machado David, Anderson C. A. Nascimento

Proceedings of the 2011 IEEE Information Theory Workshop, 2011