Bernardo Magri

According to our database, Bernardo Magri authored at least 36 papers between 2014 and 2025.

Collaborative distances:

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

2025

Guarding the Signal: Secure Messaging with Reverse Firewalls.

Yevgeniy Dodis, Bernardo Magri, Noah Stephens-Davidowitz, Yiannis Tselekounis

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Key Exchange in the Post-snowden Era: Universally Composable Subversion-Resilient PAKE.

Suvradip Chakraborty, Lorenzo Magliocco, Bernardo Magri, Daniele Venturi

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

Signature-Based Witness Encryption with Compact Ciphertext.

Gennaro Avitabile, Nico Döttling, Bernardo Magri, Christos Sakkas, Stella Wohnig

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.

Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro

Dataset, May, 2023

Key Exchange in the Post-Snowden Era: UC Secure Subversion-Resilient PAKE.

Suvradip Chakraborty, Lorenzo Magliocco, Bernardo Magri, Daniele Venturi

IACR Cryptol. ePrint Arch., 2023

McFly: Verifiable Encryption to the Future Made Practical.

Nico Döttling, Lucjan Hanzlik, Bernardo Magri, Stella Wohnig

Proceedings of the Financial Cryptography and Data Security, 2023

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.

Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

Revisiting Transaction Ledger Robustness in the Miner Extractable Value Era.

Fredrik Kamphuis, Bernardo Magri, Ricky Lamberty, Sebastian Faust

Proceedings of the Applied Cryptography and Network Security, 2023

2022

Universally Composable Subversion-Resilient Cryptography.

Suvradip Chakraborty, Bernardo Magri, Jesper Buus Nielsen, Daniele Venturi

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 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

2021

Immunization against complete subversion without random oracles.

Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi

Theor. Comput. Sci., 2021

Everlasting UC Commitments from Fully Malicious PUFs.

Bernardo Magri, Giulio Malavolta, Dominique Schröder, Dominique Unruh

IACR Cryptol. ePrint Arch., 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

Random-Index PIR and Applications.

Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen, Sophia Yakoubov

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices.

Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Weight-Based Nakamoto-Style Blockchains.

Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi

Proceedings of the Progress in Cryptology - LATINCRYPT 2021, 2021

Reparo: Publicly Verifiable Layer to Repair Blockchains.

Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate

Proceedings of the Financial Cryptography and Data Security, 2021

YOSO: You Only Speak Once - Secure MPC with Stateless Ephemeral Roles.

Craig Gentry, Shai Halevi, Hugo Krawczyk, Bernardo Magri, Jesper Buus Nielsen, Tal Rabin, Sophia Yakoubov

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

Broadcast-Optimal Two Round MPC with an Honest Majority.

Ivan Damgård, Bernardo Magri, Divya Ravi, Luisa Siniscalchi, Sophia Yakoubov

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

Subversion-resilient signatures: Definitions, constructions and applications.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi

Theor. Comput. Sci., 2020

Leveraging Weight Functions for Optimistic Responsiveness in Blockchains.

Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi

IACR Cryptol. ePrint Arch., 2020

Random-index PIR with Applications to Large-Scale Secure MPC.

Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2020

Broadcast-Optimal Two Round MPC with an Honest Majority.

Ivan Damgård, Bernardo Magri, Luisa Siniscalchi, Sophia Yakoubov

IACR Cryptol. ePrint Arch., 2020

Afgjort: A Partially Synchronous Finality Layer for Blockchains.

Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi

Proceedings of the Security and Cryptography for Networks - 12th International Conference, 2020

Cryptographic Reverse Firewalls for Interactive Proof Systems.

Chaya Ganesh, Bernardo Magri, Daniele Venturi

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Minting Mechanism for Proof of Stake Blockchains.

Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan

Proceedings of the Applied Cryptography and Network Security, 2020

2019

Afgjort - A Semi-Synchronous Finality Layer for Blockchains.

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

IACR Cryptol. ePrint Arch., 2019

Redactable Blockchain in the Permissionless Setting.

Dominic Deuber, Bernardo Magri, Sri Aravinda Krishnan Thyagarajan

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Public Immunization Against Complete Subversion Without Random Oracles.

Giuseppe Ateniese, Danilo Francati, Bernardo Magri, Daniele Venturi

Proceedings of the Applied Cryptography and Network Security, 2019

2018

Minting Mechanisms for Blockchain - or - Moving from Cryptoassets to Cryptocurrencies.

Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan

IACR Cryptol. ePrint Arch., 2018

Secure Outsourcing of Cryptographic Circuits Manufacturing.

Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi

Proceedings of the Provable Security, 2018

A Family of FDH Signature Schemes Based on the Quadratic Residuosity Assumption.

Giuseppe Ateniese, Katharina Fech, Bernardo Magri

Proceedings of the Progress in Cryptology - INDOCRYPT 2018, 2018

2017

Redactable Blockchain - or - Rewriting History in Bitcoin and Friends.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi, Ewerton R. Andrade

Proceedings of the 2017 IEEE European Symposium on Security and Privacy, 2017

2016

Secure Outsourcing of Circuit Manufacturing.

Giuseppe Ateniese, Aggelos Kiayias, Bernardo Magri, Yiannis Tselekounis, Daniele Venturi

IACR Cryptol. ePrint Arch., 2016

2015

Subversion-Resilient Signature Schemes.

Giuseppe Ateniese, Bernardo Magri, Daniele Venturi

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Certified Bitcoins.

Giuseppe Ateniese, Antonio Faonio, Bernardo Magri, Breno de Medeiros

Proceedings of the Applied Cryptography and Network Security, 2014