Bogdan Warinschi

Citée par

	Toutes	Depuis 2020
Citations	6499	1994
indice h	41	23
indice i10	75	46

440

220

110

330

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202523 92 162 228 199 194 221 267 223 295 283 339 327 384 354 388 405 383 432 380 426 334 37

Accès public

Tout afficher

34 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Véronique CortierCNRS, LORIAAdresse e-mail validée de loria.fr
Nigel SmartKU LeuvenAdresse e-mail validée de kuleuven.be
Alexandra BoldyrevaProfessor, School of Cybersecurity and Privacy, Georgia Institute of TechnologyAdresse e-mail validée de gatech.edu
Marc FischlinProfessor of Computer Science, Technische Universität Darmstadt, GermanyAdresse e-mail validée de tu-darmstadt.de
Olivier PereiraUCLouvainAdresse e-mail validée de uclouvain.be
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECAdresse e-mail validée de fc.up.pt
Steve KremerInriaAdresse e-mail validée de inria.fr
Dario CatalanoProfessor of Computer Science, University of CataniaAdresse e-mail validée de dmi.unict.it
Jan CamenischDFINITYAdresse e-mail validée de dfinity.org
Gregory NevenChainlink LabsAdresse e-mail validée de smartcontract.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
Bernardo PortelaINESC TEC, FCUPAdresse e-mail validée de fc.up.pt
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesAdresse e-mail validée de lsv.ens-cachan.fr
Chris BrzuskaAalto UniversityAdresse e-mail validée de aalto.fi
Dario FioreAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Laurent MazaréKyutaiAdresse e-mail validée de polytechnique.org
Essam GhadafiSenior Lecturer, Newcastle UniversityAdresse e-mail validée de ncl.ac.uk
Georg FuchsbauerTU WienAdresse e-mail validée de ist.ac.at
Anupam DattaSnowflake AI Research, Ex-Professor CMUAdresse e-mail validée de snowflake.com
John C MitchellProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de Stanford.edu

Suivre

Bogdan Warinschi

University of Bristol and Dfinity

Adresse e-mail validée de cs.bris.ac.uk

Cryptography Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	1032	2003
Secure proxy signature schemes for delegation of signing rights A Boldyreva, A Palacio, B Warinschi Journal of cryptology 25 (1), 57-115, 2012	452	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	146	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	128*	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs