Bogdan Warinschi

Citée par

	Toutes	Depuis 2018
Citations	6521	2799
indice h	40	26
indice i10	74	53

540

270

135

405

20032004200520062007200820092010201120122013201420152016201720182019202020212022202324 92 164 226 200 204 217 269 217 300 284 329 324 391 365 415 468 448 538 493 434

Accès public

Tout afficher

32 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
Marc FischlinProfessor of Computer Science, Technische Universität Darmstadt, GermanyAdresse e-mail validée de tu-darmstadt.de
Daniele MicciancioProfessor of computer science, UCSDAdresse e-mail validée de eng.ucsd.edu
Alexandra BoldyrevaProfessor, School of Cybersecurity and Privacy, Georgia Institute of TechnologyAdresse e-mail validée de gatech.edu
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
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
Dario FioreAssociate Research Professor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
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
Laurent MazareAdresse e-mail validée de polytechnique.org
Chris BrzuskaAalto UniversityAdresse e-mail validée de aalto.fi
Essam GhadafiSenior Lecturer, Newcastle UniversityAdresse e-mail validée de ncl.ac.uk
Georg FuchsbauerTU WienAdresse e-mail validée de ist.ac.at
Jan CamenischDFINITYAdresse e-mail validée de dfinity.org
Gregory NevenChainlink LabsAdresse e-mail validée de smartcontract.com
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUAdresse e-mail validée de cmu.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	988	2003
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	531*	2007
Secure proxy signature schemes for delegation of signing rights A Boldyreva, A Palacio, B Warinschi Journal of cryptology 25 (1), 57-115, 2012	420	2012
Soundness of formal encryption in the presence of active adversaries D Micciancio, B Warinschi Theory of Cryptography Conference, 133-151, 2004	280	2004
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	274	2012
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	196	2005
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	196	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	155	2015
Completeness theorems for the Abadi-Rogaway language of encrypted expressions D Micciancio, B Warinschi Journal of Computer Security 12 (1), 99-129, 2004	145	2004
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	141	2011
Get Shorty via Group Signatures without Encryption. P Bichsel, J Camenisch, G Neven, NP Smart, B Warinschi SCN 10, 381-398, 2010	136	2010
Homomorphic Signatures with Efficient Verification for Polynomial Functions D Catalano, D Fiore, B Warinschi Advances in Cryptology–CRYPTO 2014, 371-389, 2014	125	2014
Efficient blind signatures without random oracles J Camenisch, M Koprowski, B Warinschi Security in Communication Networks, 134-148, 2005	117	2005
Adapting Helios for Provable Ballot Privacy. D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi ESORICS 11, 335-354, 2011	113	2011
Efficient Network Coding Signatures in the Standard Model. D Catalano, D Fiore, B Warinschi Public Key Cryptography, 680-696, 2012	112	2012
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	108	2017
A modular security analysis of the TLS handshake protocol P Morrissey, N Smart, B Warinschi Advances in Cryptology-ASIACRYPT 2008, 55-73, 2008	107	2008
How to build time-lock encryption J Liu, T Jager, SA Kakvi, B Warinschi Designs, Codes and Cryptography 86, 2549-2586, 2018	105*	2018
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	93	2006
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	92	2011

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