Bogdan Warinschi

Citeret af

	Alle	Siden 2019
Henvisninger	7199	3006
h-index	41	24
i10-indeks	75	50

640

320

160

480

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 95 165 229 201 201 223 276 226 301 283 335 336 396 367 412 476 528 636 618 621 125

Offentlig adgang

Se alle

32 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Véronique CortierCNRS, LORIAVerificeret mail på loria.fr
Nigel SmartKU LeuvenVerificeret mail på kuleuven.be
Marc FischlinProfessor of Computer Science, Technische Universität Darmstadt, GermanyVerificeret mail på tu-darmstadt.de
Alexandra BoldyrevaProfessor, School of Cybersecurity and Privacy, Georgia Institute of TechnologyVerificeret mail på gatech.edu
Olivier PereiraUCLouvainVerificeret mail på uclouvain.be
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerificeret mail på fc.up.pt
Steve KremerInriaVerificeret mail på inria.fr
Dario CatalanoProfessor of Computer Science, University of CataniaVerificeret mail på dmi.unict.it
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerificeret mail på cs.ucsc.edu
Bernardo PortelaINESC TEC, FCUPVerificeret mail på fc.up.pt
Guillaume ScerriMaître de conférences, Université Versailles Saint-Quentin en YvelinesVerificeret mail på lsv.ens-cachan.fr
Dario FioreAssociate Research Professor, IMDEA Software InstituteVerificeret mail på imdea.org
Chris BrzuskaAalto UniversityVerificeret mail på aalto.fi
Laurent MazareVerificeret mail på polytechnique.org
Essam GhadafiSenior Lecturer, Newcastle UniversityVerificeret mail på ncl.ac.uk
Georg FuchsbauerTU WienVerificeret mail på ist.ac.at
Jan CamenischDFINITYVerificeret mail på dfinity.org
Gregory NevenChainlink LabsVerificeret mail på smartcontract.com
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerificeret mail på cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerificeret mail på Stanford.edu

Følg

Bogdan Warinschi

University of Bristol and Dfinity

Verificeret mail på cs.bris.ac.uk

Cryptography Security


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	1033*	2007
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	1000	2003
Secure proxy signature schemes for delegation of signing rights A Boldyreva, A Palacio, B Warinschi Journal of cryptology 25 (1), 57-115, 2012	445	2012
Soundness of formal encryption in the presence of active adversaries D Micciancio, B Warinschi Theory of Cryptography Conference, 133-151, 2004	283	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	282	2012
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	198	2005
Computationally sound, automated proofs for security protocols V Cortier, B Warinschi European Symposium on Programming, 157-171, 2005	198	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	161	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	147	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	138	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	119	2005
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	118	2017
Adapting Helios for Provable Ballot Privacy. D Bernhard, V Cortier, O Pereira, B Smyth, B Warinschi ESORICS 11, 335-354, 2011	116	2011
Efficient Network Coding Signatures in the Standard Model. D Catalano, D Fiore, B Warinschi Public Key Cryptography, 680-696, 2012	113	2012
How to build time-lock encryption J Liu, T Jager, SA Kakvi, B Warinschi Designs, Codes and Cryptography 86, 2549-2586, 2018	110*	2018
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
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
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	95	2013

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere