Riccardo Focardi

Cited by

	All	Since 2016
Citations	3967	819
h-index	32	15
i10-index	82	25

300

150

225

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202113 14 18 19 37 110 111 162 290 265 279 186 174 133 206 161 169 162 163 145 173 134 127 144 188 169 56

Public access

View all

8 articles

1 article

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
Graham SteelINRIAVerified email at cryptosense.com
Matteo MaffeiFull Professor at TU WienVerified email at tuwien.ac.at
Agostino CortesiUniversità Ca Foscari VeneziaVerified email at unive.it
Sabina RossiUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Stefano CalzavaraUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
Carla PiazzaAssociate Professor 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
David PelegProfessor of Computer Science, Weizmann InstituteVerified email at weizmann.ac.il
Gian-Luca Dei RossiUniversità Ca' Foscari VeneziaVerified email at dsi.unive.it
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 1 R Focardi, R Gorrieri Journal of Computer security 3 (1), 5-33, 1995	441	1995
Classification of security properties R Focardi, R Gorrieri International School on Foundations of Security Analysis and Design, 331-396, 2000	317	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	260	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	155	2000
A uniform approach for the definition of security properties R Focardi, F Martinelli International Symposium on Formal Methods, 794-813, 1999	134	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	116	2010
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	114	2012
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	112	2000
Information Flow Security in Dynamic Contexts. R Focardi, S Rossi CSFW 1, 307-319, 2002	93	2002
Real-time information flow analysis R Focardi, R Gorrieri, F Martinelli IEEE Journal on Selected Areas in Communications 21 (1), 20-35, 2003	84	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	75	2000
Feedback vertex set in hypercubes R Focardi, FL Luccio, D Peleg Information Processing Letters 76 (1-2), 1-5, 2000	74	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	72	1997
Classification of security properties (Part II: Network security) R Focardi, R Gorrieri, F Martinelli	58	2004
A taxonomy of trace-based security properties for CCS R Focardi, R Gorrieri Proceedings The Computer Security Foundations Workshop VII, 126-136, 1994	57	1994
Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004	56	2004
CVS: A compiler for the analysis of cryptographic protocols A Durante, R Focardi, R Gorrieri Proceedings of the 12th IEEE Computer Security Foundations Workshop, 203-212, 1999	50	1999
Bridging language-based and process calculi security R Focardi, S Rossi, A Sabelfeld International Conference on Foundations of Software Science and Computation …, 2005	42	2005
Security boundaries in mobile ambients C Braghin, A Cortesi, R Focardi Computer Languages, Systems & Structures 28 (1), 101-127, 2002	42	2002
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	40	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

Upload PDF

Follow this author

Cited by

Co-authors