Concepedia

Bogdan Warinschi

BW

Statistics

Publications

45

Citations

2K

H-Index

25

Active since

2001

Affiliations

University of Bristol(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

University of California, Santa Cruz

Bogdan Warinschi is an author at University of Bristol specializing in engineering, computer science, and cryptography.

Top concepts

EngineeringData SecurityComputer ScienceCryptographyInformation SecurityData PrivacyFormal VerificationFormal MethodsHardware SecurityVerification

Publications per year

2001–2023

45

Publications

45

Secure Proxy Signature Schemes for Delegation of Signing Rights

Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi · Journal of Cryptology · 2010 · 238 citations · Full text

Engineering, Digital Signature, Information Security +8

Security analysis of cryptographically controlled access to XML documents

Martı́n Abadi, Bogdan Warinschi · 2005 · 103 citations

Cryptographic Primitive, Engineering, Information Security +17

Completeness theorems for the Abadi–Rogaway language of encrypted expressions1

Daniele Micciancio, Bogdan Warinschi · Journal of Computer Security · 2004 · 101 citations

Abadi–rogaway Language, Cryptographic Primitive, Engineering +10

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

David Bernhard, Véronique Cortier, David Galindo et al. · 2015 · 94 citations · Full text

Engineering, Information Security, Verification +21

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier, Steve Kremer, Bogdan Warinschi · Journal of Automated Reasoning · 2010 · 92 citations

Symbolic Manipulation, Cryptographic Primitive, Engineering +12

1–5 of 45