Bogdan Warinschi

Citado por

	Total	Desde 2019
Citas	6363	2270
Índice h	41	25
Índice i10	75	49

440

220

110

330

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 91 163 228 199 194 218 268 221 298 282 337 326 381 355 386 402 372 424 373 427 270

Acceso público

Ver todo

32 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Véronique CortierCNRS, LORIADirección de correo verificada de loria.fr
Nigel SmartKU LeuvenDirección de correo verificada de kuleuven.be
Alexandra BoldyrevaProfessor, School of Cybersecurity and Privacy, Georgia Institute of TechnologyDirección de correo verificada de gatech.edu
Marc FischlinProfessor of Computer Science, Technische Universität Darmstadt, GermanyDirección de correo verificada de tu-darmstadt.de
Olivier PereiraUCLouvainDirección de correo verificada de uclouvain.be
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECDirección de correo verificada de fc.up.pt
Steve KremerInriaDirección de correo verificada de inria.fr
Dario CatalanoProfessor of Computer Science, University of CataniaDirección de correo verificada de dmi.unict.it
Jan CamenischDFINITYDirección de correo verificada de dfinity.org
Gregory NevenChainlink LabsDirección de correo verificada de smartcontract.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzDirección de correo verificada de cs.ucsc.edu
Chris BrzuskaAalto UniversityDirección de correo verificada de aalto.fi
Bernardo PortelaINESC TEC, FCUPDirección de correo verificada de fc.up.pt
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesDirección de correo verificada de lsv.ens-cachan.fr
Dario FioreAssociate Research Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Laurent MazaréKyutaiDirección de correo verificada de polytechnique.org
Essam GhadafiSenior Lecturer, Newcastle UniversityDirección de correo verificada de ncl.ac.uk
Georg FuchsbauerTU WienDirección de correo verificada de ist.ac.at
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUDirección de correo verificada de cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu

Seguir

Bogdan Warinschi

University of Bristol and Dfinity

Dirección de correo verificada de cs.bris.ac.uk

Cryptography Security


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1015	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	303	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	173	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	149	2011
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
Get Shorty via Group Signatures without Encryption. P Bichsel, J Camenisch, G Neven, NP Smart, B Warinschi SCN 10, 381-398, 2010	142	2010
Homomorphic Signatures with Efficient Verification for Polynomial Functions D Catalano, D Fiore, B Warinschi Advances in Cryptology–CRYPTO 2014, 371-389, 2014	132	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	126	2017
How to build time-lock encryption J Liu, T Jager, SA Kakvi, B Warinschi Designs, Codes and Cryptography 86, 2549-2586, 2018	121*	2018
Efficient Network Coding Signatures in the Standard Model. D Catalano, D Fiore, B Warinschi Public Key Cryptography, 680-696, 2012	119	2012
Adapting Helios for Provable Ballot Privacy. D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi ESORICS 11, 335-354, 2011	119	2011
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	100	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	97	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores