Bogdan Warinschi - Google Scholar Citations

Cited by

	All	Since 2015
Citations	4410	1988
h-index	34	23
i10-index	61	47

420

210

105

315

20032004200520062007200820092010201120122013201420152016201720182019202024 72 130 205 185 198 207 237 236 273 268 330 308 371 374 395 420 115

Co-authors

Véronique CortierCNRS, LORIAVerified email at loria.fr
Nigel SmartKU LeuvenVerified email at kuleuven.be
Daniele MicciancioProfessor of computer science, UCSDVerified email at eng.ucsd.edu
Alexandra BoldyrevaAssociate Professor, School of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Marc FischlinProfessor of Computer Science, Darmstadt University (TU Darmstadt), GermanyVerified email at cryptoplexity.de
Olivier PereiraICTEAM, EPL, Université catholique de LouvainVerified email at uclouvain.be
Mihir BellareProfessor, Department of Computer Science and Engineering, University of California San Diego (UCSD)Verified email at eng.ucsd.edu
Steve KremerInriaVerified email at inria.fr
Dario CatalanoProfessor of Computer Science, University of CataniaVerified email at dmi.unict.it
Martin AbadiPrincipal Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Dario FioreAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesVerified email at lsv.ens-cachan.fr
Chris BrzuskaAalto UniversityVerified email at aalto.fi
Essam GhadafiSenior Lecturer, UWE BristolVerified email at uwe.ac.uk
Laurent MazareVerified email at polytechnique.org
Bernardo PortelaNOVA-LINCS, FCUPVerified email at fct.unl.pt
Jan CamenischDFINITYVerified email at dfinity.org
Georg FuchsbauerTU WienVerified email at ist.ac.at
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu

Bogdan Warinschi

University of Bristol

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	782	2003
Secure proxy signature schemes for delegation of signing rights A Boldyreva, A Palacio, B Warinschi Journal of cryptology 25 (1), 57-115, 2012	271	2012
Soundness of formal encryption in the presence of active adversaries D Micciancio, B Warinschi Theory of Cryptography Conference, 133-151, 2004	252	2004
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	175	2005
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	175	2005
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	167	2012
Completeness theorems for the Abadi-Rogaway language of encrypted expressions D Micciancio, B Warinschi Journal of Computer Security 12 (1), 99-129, 2004	138	2004
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) M Okada, R Takemura Remarks on semantic completeness for proof-terms with Laird's dual affine …, 2007	115*	2007
A survey of symbolic methods in computational analysis of cryptographic systems V Cortier, S Kremer, B Warinschi Journal of Automated Reasoning 46 (3-4), 225-259, 2011	103	2011
Efficient blind signatures without random oracles J Camenisch, M Koprowski, B Warinschi Security in Communication Networks, 134-148, 2005	103	2005
Get Shorty via Group Signatures without Encryption. P Bichsel, J Camenisch, G Neven, NP Smart, B Warinschi SCN 10, 381-398, 2010	92	2010
Efficient Network Coding Signatures in the Standard Model. D Catalano, D Fiore, B Warinschi Public Key Cryptography, 680-696, 2012	88	2012
Homomorphic Signatures with Efficient Verification for Polynomial Functions D Catalano, D Fiore, B Warinschi Advances in Cryptology–CRYPTO 2014, 371-389, 2014	87	2014
A modular security analysis of the TLS handshake protocol P Morrissey, N Smart, B Warinschi Advances in Cryptology-ASIACRYPT 2008, 55-73, 2008	86	2008
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	86	2006
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	83	2015
Adapting Helios for Provable Ballot Privacy. D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi ESORICS 11, 335-354, 2011	83	2011
A computational analysis of the Needham-Schroeder-(Lowe) protocol B Warinschi Journal of Computer Security 13 (3), 565-591, 2005	82	2005
Public-Key Infrastructure-A Closer Look at PKI: Security and Efficiency A Boldyreva, M Fischlin, A Palacio, B Warinschi Lecture Notes in Computer Science 4450, 458-475, 2007	73*	2007
A closer look at PKI: Security and efficiency A Boldyreva, M Fischlin, A Palacio, B Warinschi Public Key Cryptography–PKC 2007, 458-475, 2007	71	2007

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

Upload PDF

Follow this author

Cited by

Co-authors