| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Riccardo Focardi, Flaminia L. Luccio |
Guessing Bank PINs by Winning a Mastermind Game.  |
Theory Comput. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio |
Type-Based Analysis of PKCS#11 Key Management. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
An Introduction to Security API Analysis. |
FOSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi |
Editorial. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi |
Channel abstractions for network security. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio |
Secure Upgrade of Hardware Security Modules in Bank Networks. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Falcone, Riccardo Focardi |
Formal Analysis of Key Integrity in PKCS#11. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Centenaro, Riccardo Focardi |
Match It or Die: Proving Integrity by Equality. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio |
Cracking Bank PINs by Playing Mastermind. |
FUN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel |
Attacking and fixing PKCS#11 security tokens. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi |
Security Abstractions and Intruder Models (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
Blunting Differential Attacks on PIN Processing APIs. |
NordSec |
2009 |
DBLP DOI BibTeX RDF |
Financial Cryptography, PIN Verification, Security APIs |
| 1 | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
Type-Based Analysis of PIN Processing APIs. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Information flow security in Boundary Ambients. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Matteo Centenaro |
Information flow security of multi-threaded distributed programs. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
symbolic cryptography, information flow, bisimulation, language-based security |
| 1 | Michele Bugliesi, Riccardo Focardi |
Language Based Secure Communication. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Dynamic types for authentication. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
A calculus of challenges and responses. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, authentication protocols, process calculi |
| 1 | Riccardo Focardi, Sabina Rossi |
Information flow security in dynamic contexts. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi |
Preface. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi, Gianluigi Zavattaro |
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro |
Secure shared data-space coordination languages: A process algebraic survey. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi |
Guest editor's preface. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication primitives for secure protocol specifications. |
Future Generation Comp. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Matteo Maffei, Francesco Placella |
Inferring authentication tags. |
WITS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Analysis of Typed Analyses of Authentication Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
Bridging Language-Based and Process Calculi Security. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Unwinding in Information Flow Security. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Matteo Maffei |
The rho-spi Calculus at Work: Authentication Case Studies. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio |
A modular approach to Sprouts. |
Discrete Applied Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
Nesting analysis of mobile ambients. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Verifying persistent security properties. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures |
FOSAD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi |
Static Analysis of Authentication. |
FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Compositional Analysis of Authentication Protocols. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Authenticity by tagging and typing. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
authentication, static analysis, process calculi |
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
A comparison of three authentication properties. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Information Leakage Detection in Boundary Ambients. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Gianluigi Zavattaro |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Real-time information flow analysis. |
IEEE Journal on Selected Areas in Communications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Refinement Operators and Information Flow Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
Principles for Entity Authentication. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
BANANA - A Tool for Boundary Ambients Nesting ANAlysis. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication Primitives for Protocol Specifications. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
Complexity of Nesting Analysis in Mobile Ambients. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
Complexity, Static Analysis, Ambient Calculus |
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Primitives for authentication in process algebras. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Riccardo Focardi |
Computer languages and security. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Security boundaries in mobile ambients. |
Comput. Lang. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi |
Control Flow Analysis of Mobile Ambients with Security Boundaries. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Transforming Processes to Check and Ensure Information Flow Security. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Classification of Security Properties - Part II: Network Security. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone |
A Survey of Name-Passing Calculi and Crypto-Primitives. |
FOSAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel |
Boundary Inference for Enforcing Security Policies in Mobile Ambients. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi, Sabina Rossi |
Information Flow Security in Dynamic Contexts. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
A Proof System for Information Flow Security. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Formal Models of Timing Attacks on Web Privacy. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Riccardo Focardi |
Information Flow Security in Mobile Ambients. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Durante, Riccardo Focardi, Roberto Gorrieri |
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. |
MMM-ACNS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri (eds.) |
Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000] |
FOSAD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi, Flaminia L. Luccio, David Peleg |
Feedback vertex set in hypercubes. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Secrecy in Security Protocols as Non Interference. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Durante, Riccardo Focardi, Roberto Gorrieri |
A compiler for analyzing cryptographic protocols using noninterference. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
process algebra, cryptographic protocols, automatic verification, noninterference, verification tool |
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Non Interference for the Analysis of Cryptographic Protocols. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Message Authentication through Non Interference. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri |
Classification of Security Properties (Part I: Information Flow). |
FOSAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Information Flow Analysis in a Discrete-Time Process Algebra. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
Security, Real-time, Process Algebra, Non interference |
| 1 | Antonio Durante, Riccardo Focardi, Roberto Gorrieri |
CVS: A Compiler for the Analysis of Cryptographic Protocols. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
Authentication, Process Algebras, Automatic Verification, Non-Interference |
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication via Localized Names. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
Local Environments, Mobility, Authentication, Concurrency, Process Algebras |
| 1 | Riccardo Focardi, Fabio Martinelli |
A Uniform Approach for the Definition of Security Properties. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows |
Panel Introduction: Varieties of Authentication. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri |
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Tools and techniques, network protocol verification, access controls, program verification, information flow controls |
| 1 | Riccardo Focardi, Roberto Gorrieri |
Automatic Compositional Verification of Some Security Properties. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi |
Comparing Two Information Flow Security Properties. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
nondeducibility, security checker, software tool, automatic verification, noninterference, multilevel security |
| 1 | Riccardo Focardi, Roberto Gorrieri |
A Taxonomy of Security Properties for Process Algebras. |
Journal of Computer Security |
1995 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, V. Panini |
The security checker: a semantics-based tool for the verification of security properties. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification |
| 1 | Riccardo Focardi, Roberto Gorrieri |
A Taxonomy of Security Properties for CCS. |
CSFW |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")