Riccardo Focardi

Citado por

	Total	Desde 2020
Citas	4913	1088
Índice h	36	18
Índice i10	89	24

320

160

240

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 18 30 43 111 100 152 315 282 302 183 175 140 203 184 156 160 170 143 163 151 117 144 191 186 244 215 214 203 25

Acceso público

Ver todo

12 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VeniceDirección de correo verificada de unive.it
Stefano CalzavaraUniversità Ca' Foscari VeneziaDirección de correo verificada de unive.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaDirección de correo verificada de unive.it
Graham SteelINRIADirección de correo verificada de cryptosense.com
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity CenterDirección de correo verificada de tuwien.ac.at
Sabina RossiUniversità Ca' Foscari VeneziaDirección de correo verificada de dais.unive.it
Carla PiazzaProfessor of Computer Science, University of UdineDirección de correo verificada de uniud.it
Dr Wilayat KhanUniversity of Hail, Saudi ArabiaDirección de correo verificada de uoh.edu.sa
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.saarland
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesDirección de correo verificada de ist.utl.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteDirección de correo verificada de wpi.edu
Gian-Luca Dei RossiUniversità Ca' Foscari VeneziaDirección de correo verificada de dsi.unive.it
David PelegProfessor of Computer Science, Weizmann InstituteDirección de correo verificada de weizmann.ac.il
Alan BundyProfessor of Automated Reasoning, University of EdinburghDirección de correo verificada de ed.ac.uk

Seguir

Riccardo Focardi

DAIS, Ca' Foscari University, Venice

Dirección de correo verificada de unive.it - Página principal

Computer Security Cryptography formal methods


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A classification of security properties for process algebras R Focardi, R Gorrieri Journal of Computer security 3 (1), 5-33, 1995	470	1995
Classification of Security Properties: (Part I: Information Flow) R Focardi, R Gorrieri International School on Foundations of Security Analysis and Design, 331-396, 2000	343	2000
The compositional security checker: A tool for the verification of information flow security properties R Focardi, R Gorrieri IEEE Transactions on Software Engineering 23 (9), 550-571, 1997	275	1997
Non interference for the analysis of cryptographic protocols R Focardi, R Gorrieri, F Martinelli International Colloquium on Automata, Languages, and Programming, 354-372, 2000	167	2000
Efficient padding oracle attacks on cryptographic hardware R Bardou, R Focardi, Y Kawamoto, L Simionato, G Steel, JK Tsay Annual Cryptology Conference, 608-625, 2012	149	2012
A uniform approach for the definition of security properties R Focardi, F Martinelli International Symposium on Formal Methods, 794-813, 1999	143	1999
Attacking and fixing PKCS# 11 security tokens M Bortolozzo, M Centenaro, R Focardi, G Steel Proceedings of the 17th ACM conference on Computer and communications …, 2010	136	2010
Information flow security in dynamic contexts R Focardi, S Rossi Journal of Computer Security 14 (1), 65-110, 2006	126	2006
Shaping the glitch: optimizing voltage fault injection attacks C Bozzato, R Focardi, F Palmarini IACR transactions on cryptographic hardware and embedded systems 2019 (2 …, 2019	125	2019
Information flow analysis in a discrete-time process algebra R Focardi, R Gorrieri, F Martinelli Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 170-184, 2000	115	2000
Usable security for QR code R Focardi, FL Luccio, HAM Wahsheh Journal of Information Security and Applications 48, 102369, 2019	95	2019
Real-time information flow analysis R Focardi, R Gorrieri, F Martinelli IEEE Journal on Selected Areas in Communications 21 (1), 20-35, 2003	88	2003
Surviving the web: A journey into web session security S Calzavara, R Focardi, M Squarcina, M Tempesta ACM Computing Surveys (CSUR) 50 (1), 1-34, 2017	85	2017
A compiler for analyzing cryptographic protocols using noninterference A Durante, R Focardi, R Gorrieri ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (4), 488-528, 2000	83	2000
Feedback vertex set in hypercubes R Focardi, FL Luccio, D Peleg Information Processing Letters 76 (1-2), 1-5, 2000	79	2000
Using non interference for the analysis of security protocols R Focardi, A Ghelli, R Gorrieri Proceedings of DIMACS Workshop on Design and Formal Verification of Security …, 1997	77	1997
A taxonomy of trace-based security properties for CCS R Focardi, R Gorrieri Proceedings The Computer Security Foundations Workshop VII, 126-136, 1994	74	1994
CookiExt: Patching the browser against session hijacking attacks M Bugliesi, S Calzavara, R Focardi, W Khan Journal of Computer Security 23 (4), 509-537, 2015	68	2015
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	61	2004
Mitch: A machine learning approach to the black-box detection of CSRF vulnerabilities S Calzavara, M Conti, R Focardi, A Rabitti, G Tolomei 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 528-543, 2019	60	2019

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