World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
42
Citations
7156
World Ranking
8419
National Ranking
510

Overview

Bogdan Warinschi is affiliated with the University of Bristol in the United Kingdom and specializes in Computer Science. Their research spans several subfields, notably Artificial Intelligence, Computer Networks and Communications, Information Systems, Computational Theory and Mathematics, and Sociology and Political Science.

The primary focus of their work lies in Cryptography and Data Security, with significant contributions to Advanced Authentication Protocols Security and User Authentication and Security Systems. Additional research areas include Cryptographic Implementations and Security, Complexity and Algorithms in Graphs, Access Control and Trust, as well as Internet Traffic Analysis and Secure E-voting.

Warinschi has published articles in key venues related to privacy and security, including:

  • Proceedings on Privacy Enhancing Technologies
  • Bristol Research (University of Bristol)

Key recent publications include:

  • "Authentication in Key-Exchange: Definitions, Relations and Composition," 2020, Bristol Research (University of Bristol)
  • "SWiSSSE: System-Wide Security for Searchable Symmetric Encryption," 2023, Proceedings on Privacy Enhancing Technologies
  • "Understanding Leakage in Searchable Encryption: a Quantitative Approach," 2024, Proceedings on Privacy Enhancing Technologies

Their research collaboration network includes frequent coauthors such as Alexandra Boldyreva, Zichen Gui, Manuel Barbosa, Shan Chen, and Kenneth G. Paterson.

Their body of work typically addresses the development and analysis of authentication protocols and searchable encryption techniques, emphasizing the security implications and quantitative assessment of leakage in encryption systems.

Best Publications

  • Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions

    Mihir Bellare;Daniele Micciancio;Bogdan Warinschi

  • Secure Proxy Signature Schemes for Delegation of Signing Rights

    Alexandra Boldyreva;Adriana Palacio;Bogdan Warinschi

  • 2016 IEEE Symposium on Security and Privacy (S&P 2016)

    Marc Fischlin;Felix Günther;Benedikt Schmidt;Bogdan Warinschi

  • Soundness of Formal Encryption in the Presence of Active Adversaries

    Daniele Micciancio;Bogdan Warinschi

  • How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.

    David Bernhard;Olivier Pereira;Bogdan Warinschi

  • Efficient blind signatures without random oracles

    Jan Camenisch;Maciej Koprowski;Bodgan Warinschi

  • Computationally sound, automated proofs for security protocols

    Véronique Cortier;Bogdan Warinschi

  • Security analysis of cryptographically controlled access to XML documents

    Martín Abadi;Bogdan Warinschi

  • SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions

    David Bernhard;Veronique Cortier;David Galindo;Olivier Pereira

  • A computational analysis of the Needham-Schroeder-(Lowe) protocol

    Bogdan Warinschi

  • Completeness theorems for the Abadi-Rogaway language of encrypted expressions

    Daniele Micciancio;Bogdan Warinschi

  • Get shorty via group signatures without encryption

    Patrik Bichsel;Jan Camenisch;Gregory Neven;Nigel P. Smart

  • A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

    Véronique Cortier;Steve Kremer;Bogdan Warinschi

  • Homomorphic Signatures with Efficient Verification for Polynomial Functions.

    Dario Catalano;Dario Fiore;Bogdan Warinschi

  • Adapting Helios for provable ballot privacy.

    David Bernhard;Véronique Cortier;Olivier Pereira;Ben Smyth

  • How to build time-lock encryption

    Jia Liu;Tibor Jager;Saqib A. Kakvi;Bogdan Warinschi

  • Efficient network coding signatures in the standard model

    Dario Catalano;Dario Fiore;Bogdan Warinschi

  • A Modular Security Analysis of the TLS Handshake Protocol

    P. Morrissey;N. P. Smart;B. Warinschi

  • Computationally sound compositional logic for key exchange protocols

    A. Datta;A. Derek;J.C. Mitchell;B. Warinschi

  • Secure Multiparty Computation from SGX

    Raad Bahmani;Manuel Barbosa;Ferdinand Brasser;Bernardo Portela

  • Advances in Cryptology - EUROCRYPT 2011

    Dario Catalano;Dario Fiore;Bogdan Warinschi

Frequent Co-Authors

Véronique Cortier
Véronique Cortier Centre national de la recherche scientifique, CNRS
Marc Fischlin
Marc Fischlin Technical University of Darmstadt
Daniele Micciancio
Daniele Micciancio University of California, San Diego
Alexandra Boldyreva
Alexandra Boldyreva Georgia Institute of Technology
Dario Catalano
Dario Catalano University of Catania
Dario Fiore
Dario Fiore Madrid Institute for Advanced Studies
Martín Abadi
Martín Abadi Google (United States)
Mihir Bellare
Mihir Bellare University of California, San Diego
Liqun Chen
Liqun Chen University of Surrey

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a wide range of online degree programs that complement and expand your career choices. Many students pursue additional qualifications to sharpen their expertise or shift into related fields.

For professionals aiming for leadership roles, an executive online MBA can boost both technical and managerial skills. Meanwhile, those interested in information management might consider an mlis online—ideal for tech-focused roles in libraries, archives, and research.

If budget is a concern, there are many cheap online master's programs offering strong computer science curricula at lower costs. Ambitious learners may go further and complete an online phd leadership to drive innovation in technology and organizational change.

These pathways provide flexible options for enhancing your skills, achieving career advancement, and specializing in areas at the intersection of technology, leadership, and information sciences.

Best Scientists Citing Bogdan Warinschi

Trending Scientists

Recently Published Articles