Bernardo Magri

Bernardo Magri

Dr

 https://orcid.org/0000-0003-4537-7023

Accepting PhD Students

Personal profile

Research interests

My research focus has always been on all aspects of cryptography, including but not limited to subversion-resilient cryptography,  foundations of Blockchain, key-exchange, cryptography from noisy sources, secure multi-party computation and etc. I’m also interested in computational complexity theory and distributed systems in general.

Biography

I’m a Senior Lecturer in cryptography in the Systems and Software Security group at the Computer Science department of the University of Manchester, UK. Before that, I was a post-doc researcher for 3 years in the amazing Aarhus crypto group, at Aarhus University in Denmark. From November 2016 to November 2018 I was a post-doc researcher at Friedrich-Alexander-Universität in Nuremberg, Germany. I completed my Ph.D. in computer science at Sapienza University of Rome in February 2017, where I worked mainly on backdoors in cryptographic primitives and Blockchain, under the supervision of prof. Giuseppe Ateniese. I completed a master’s degree in computer science (2012) at the Computer Science department of the University of São Paulo, Brazil.

Opportunities

I’m looking for motivated PhD students to work on cryptography and/or blockchain. Please contact me if interested!

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 9 - Industry, Innovation, and Infrastructure

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Cryptography
  • Distributed ledger technologies

Fingerprint

Dive into the research topics where Bernardo Magri is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Guarding the Signal: Secure Messaging with Reverse Firewalls

    Dodis, Y., Magri, B., Stephens-Davidowitz, N. & Tselekounis, Y., 2025, Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings. Tauman Kalai, Y. & Kamara, S. F. (eds.). Springer Nature, p. 39-74 36 p. (Lecture Notes in Computer Science; vol. 16007 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

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

    Chakraborty, S., Magliocco, L., Magri, B. & Venturi, D., 9 Dec 2024, (E-pub ahead of print) Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Chung, K.-M. & Sasaki, Y. (eds.). Springer Nature, p. 101-133 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15488 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Signature-Based Witness Encryption with Compact Ciphertext

    Avitabile, G., Döttling, N., Magri, B., Sakkas, C. & Wohnig, S., 10 Dec 2024, (E-pub ahead of print) Advances in Cryptology – ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Chung, K.-M. & Sasaki, Y. (eds.). Springer Nature, p. 3-31 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15484 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

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

    Manino, E., Magri, B., Mustafa, M. A. & Cordeiro, L. C., 6 Jun 2023, (Accepted/In press) 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2023), July 17 - 18, 2023, Paris, France.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    70 Downloads (Pure)

  • McFly: Verifiable Encryption to the Future Made Practical

    Döttling, N., Hanzlik, L., Magri, B. & Wohnig, S., 1 Dec 2023, Financial Cryptography and Data Security - 27th International Conference, FC 2023, Revised Selected Papers. Baldimtsi, F. & Cachin, C. (eds.). Springer Nature, p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13950).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

View all 28 research outputs