Riccardo Focardi

Cited by

	All	Since 2019
Citations	4822	1198
h-index	36	18
i10-index	88	28

320

160

240

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 30 43 111 100 149 318 280 304 183 174 141 203 182 156 161 171 143 162 149 119 145 191 185 243 218 210 147

Public access

View all

11 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VeniceVerified email at unive.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Stefano CalzavaraUniversità Ca' Foscari VeneziaVerified email at unive.it
Graham SteelINRIAVerified email at cryptosense.com
Matteo MaffeiFull Professor at TU Wien, Co-Director TU Wien Cybersecurity Center, Key Researcher SBA ResearchVerified email at tuwien.ac.at
Sabina RossiUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Dr Wilayat KhanCOMSATS University Islamabad-Wah CampusVerified email at kth.se
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesVerified email at ist.utl.pt
Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerified email at wpi.edu
Gian-Luca Dei RossiUniversità Ca' Foscari VeneziaVerified email at dsi.unive.it
David PelegProfessor of Computer Science, Weizmann InstituteVerified email at weizmann.ac.il
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk

Riccardo Focardi

DAIS, Ca' Foscari University, Venice

Verified email at unive.it - Homepage

Computer Security Cryptography formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A classification of security properties for process algebras R Focardi, R Gorrieri Journal of Computer security 3 (1), 5-33, 1995	467	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	338	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	166	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	144	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	135	2010
Information flow security in dynamic contexts R Focardi, S Rossi Journal of Computer Security 14 (1), 65-110, 2006	125	2006
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
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	109	2019
Usable security for QR code R Focardi, FL Luccio, HAM Wahsheh Journal of Information Security and Applications 48, 102369, 2019	92	2019
Real-time information flow analysis R Focardi, R Gorrieri, F Martinelli IEEE Journal on Selected Areas in Communications 21 (1), 20-35, 2003	86	2003
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
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	82	2017
Feedback vertex set in hypercubes R Focardi, FL Luccio, D Peleg Information Processing Letters 76 (1-2), 1-5, 2000	77	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	65	2015
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	60	2004
Formal methods for web security M Bugliesi, S Calzavara, R Focardi Journal of Logical and Algebraic Methods in Programming 87, 110-126, 2017	59	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors