Bogdan Warinschi

Cited by

	All	Since 2020
Citations	6510	2007
h-index	41	23
i10-index	75	46

440

220

110

330

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202523 92 162 228 199 194 220 268 222 295 284 337 328 386 353 388 405 383 431 380 427 333 51

Public access

View all

34 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Véronique CortierCNRS, LORIAVerified email at loria.fr
Nigel SmartKU LeuvenVerified email at kuleuven.be
Alexandra BoldyrevaProfessor, School of Cybersecurity and Privacy, Georgia Institute of TechnologyVerified email at gatech.edu
Marc FischlinProfessor of Computer Science, Technische Universität Darmstadt, GermanyVerified email at tu-darmstadt.de
Olivier PereiraUCLouvainVerified email at uclouvain.be
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Steve KremerInriaVerified email at inria.fr
Dario CatalanoProfessor of Computer Science, University of CataniaVerified email at dmi.unict.it
Jan CamenischDFINITYVerified email at dfinity.org
Gregory NevenChainlink LabsVerified email at smartcontract.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Chris BrzuskaAalto UniversityVerified email at aalto.fi
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesVerified email at lsv.ens-cachan.fr
Dario FioreAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Laurent MazaréKyutaiVerified email at polytechnique.org
Essam GhadafiSenior Lecturer, Newcastle UniversityVerified email at ncl.ac.uk
Georg FuchsbauerTU WienVerified email at ist.ac.at
Anupam DattaSnowflake AI Research, Ex-Professor CMUVerified email at snowflake.com
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu

Bogdan Warinschi

University of Bristol and Dfinity

Verified email at cs.bris.ac.uk

Cryptography Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions M Bellare, D Micciancio, B Warinschi Advances in Cryptology—Eurocrypt 2003, 614-629, 2003	1034	2003
Secure proxy signature schemes for delegation of signing rights A Boldyreva, A Palacio, B Warinschi Journal of cryptology 25 (1), 57-115, 2012	453	2012
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios D Bernhard, O Pereira, B Warinschi Advances in Cryptology–ASIACRYPT 2012, 626-643, 2012	322	2012
Soundness of formal encryption in the presence of active adversaries D Micciancio, B Warinschi Theory of Cryptography Conference, 133-151, 2004	285	2004
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	195	2005
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	195	2005
SoK: A comprehensive analysis of game-based ballot privacy definitions D Bernhard, V Cortier, D Galindo, O Pereira, B Warinschi 2015 IEEE Symposium on Security and Privacy, 499-516, 2015	181	2015
A survey of symbolic methods in computational analysis of cryptographic systems V Cortier, S Kremer, B Warinschi Journal of Automated Reasoning 46, 225-259, 2011	153	2011
Get Shorty via Group Signatures without Encryption. P Bichsel, J Camenisch, G Neven, NP Smart, B Warinschi SCN 10, 381-398, 2010	147	2010
Completeness theorems for the Abadi-Rogaway language of encrypted expressions D Micciancio, B Warinschi Journal of Computer Security 12 (1), 99-129, 2004	146	2004
Homomorphic Signatures with Efficient Verification for Polynomial Functions D Catalano, D Fiore, B Warinschi Advances in Cryptology–CRYPTO 2014, 371-389, 2014	136	2014
Secure multiparty computation from SGX R Bahmani, M Barbosa, F Brasser, B Portela, AR Sadeghi, G Scerri, ... International Conference on Financial Cryptography and Data Security, 477-497, 2017	131	2017
How to build time-lock encryption J Liu, T Jager, SA Kakvi, B Warinschi Designs, Codes and Cryptography 86, 2549-2586, 2018	130*	2018
Adapting Helios for Provable Ballot Privacy. D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi ESORICS 11, 335-354, 2011	121	2011
Efficient Network Coding Signatures in the Standard Model. D Catalano, D Fiore, B Warinschi Public Key Cryptography, 680-696, 2012	118	2012
Efficient blind signatures without random oracles J Camenisch, M Koprowski, B Warinschi Security in Communication Networks, 134-148, 2005	118	2005
A modular security analysis of the TLS handshake protocol P Morrissey, N Smart, B Warinschi Advances in Cryptology-ASIACRYPT 2008, 55-73, 2008	109	2008
Anonymous attestation with user-controlled linkability D Bernhard, G Fuchsbauer, E Ghadafi, NP Smart, B Warinschi International Journal of Information Security 12, 219-249, 2013	102	2013
Composability of Bellare-Rogaway key exchange protocols C Brzuska, M Fischlin, B Warinschi, SC Williams Proceedings of the 18th ACM conference on Computer and communications …, 2011	100	2011
Computationally sound compositional logic for key exchange protocols A Datta, A Derek, JC Mitchell, B Warinschi 19th IEEE Computer Security Foundations Workshop (CSFW'06), 14 pp.-334, 2006	96	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors