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!

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

  • 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
    24 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

  • Revisiting Transaction Ledger Robustness in the Miner Extractable Value Era

    Kamphuis, F., Magri, B., Lamberty, R. & Faust, S., 2023, Applied Cryptography and Network Security - 21st International Conference, ACNS 2023, Proceedings. Tibouchi, M. & Wang, X. (eds.). Springer Nature, p. 675-698 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13906 LNCS).

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

View all 27 research outputs