| A classification of security properties for process algebras R Focardi, R Gorrieri Journal of Computer security 3 (1), 5-33, 1995 | 456 | 1995 |
| Classification of Security Properties: (Part I: Information Flow) R Focardi, R Gorrieri Foundations of Security Analysis and Design: Tutorial Lectures, 331-396, 2001 | 330 | 2001 |
| 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 | 271 | 1997 |
| Non interference for the analysis of cryptographic protocols R Focardi, R Gorrieri, F Martinelli Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2002 | 160 | 2002 |
| A uniform approach for the definition of security properties R Focardi, F Martinelli FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 138 | 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 | 132 | 2010 |
| Efficient padding oracle attacks on cryptographic hardware R Bardou, R Focardi, Y Kawamoto, L Simionato, G Steel, JK Tsay Advances in Cryptology–CRYPTO 2012: 32nd Annual Cryptology Conference, Santa …, 2012 | 128 | 2012 |
| Information flow security in dynamic contexts R Focardi, S Rossi Journal of Computer Security 14 (1), 65-110, 2006 | 120 | 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 |
| 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 | 78 | 2000 |
| 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 | 75 | 1997 |
| Shaping the glitch: optimizing voltage fault injection attacks C Bozzato, R Focardi, F Palmarini IACR transactions on cryptographic hardware and embedded systems, 199-224, 2019 | 69 | 2019 |
| A taxonomy of trace-based security properties for CCS R Focardi, R Gorrieri Proceedings The Computer Security Foundations Workshop VII, 126-136, 1994 | 67 | 1994 |
| 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 | 66 | 2017 |
| Usable security for QR code R Focardi, FL Luccio, HAM Wahsheh Journal of Information Security and Applications 48, 102369, 2019 | 56 | 2019 |
| Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004 | 56 | 2004 |
| Classification of Security Properties: (Part II: Network Security) R Focardi, R Gorrieri, F Martinelli Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial …, 2004 | 56 | 2004 |
| 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 | 50 | 2015 |
Flaminia LUCCIOAssociate Professor, DAIS, Ca' Foscari University, VeniceVerified email at unive.it
