2008 |
67 | EE | Michele Bugliesi,
Riccardo Focardi:
Language Based Secure Communication.
CSF 2008: 3-16 |
66 | EE | Riccardo Focardi,
Matteo Centenaro:
Information flow security of multi-threaded distributed programs.
PLAS 2008: 113-124 |
65 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information flow security in Boundary Ambients.
Inf. Comput. 206(2-4): 460-489 (2008) |
2007 |
64 | EE | Michael Backes,
Agostino Cortesi,
Riccardo Focardi,
Matteo Maffei:
A calculus of challenges and responses.
FMSE 2007: 51-60 |
63 | EE | Michele Bugliesi,
Riccardo Focardi,
Matteo Maffei:
Dynamic types for authentication.
Journal of Computer Security 15(6): 563-617 (2007) |
2006 |
62 | EE | Riccardo Focardi,
Sabina Rossi:
Information flow security in dynamic contexts.
Journal of Computer Security 14(1): 65-110 (2006) |
61 | EE | Riccardo Focardi:
Preface.
Journal of Computer Security 14(2): 111 (2006) |
60 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems.
Sci. Comput. Program. 63(1): 1-2 (2006) |
59 | EE | Riccardo Focardi,
Roberto Lucchi,
Gianluigi Zavattaro:
Secure shared data-space coordination languages: A process algebraic survey.
Sci. Comput. Program. 63(1): 3-15 (2006) |
2005 |
58 | EE | Michele Bugliesi,
Riccardo Focardi,
Matteo Maffei:
Analysis of Typed Analyses of Authentication Protocols.
CSFW 2005: 112-125 |
57 | EE | Riccardo Focardi,
Sabina Rossi,
Andrei Sabelfeld:
Bridging Language-Based and Process Calculi Security.
FoSSaCS 2005: 299-315 |
56 | EE | Riccardo Focardi,
Matteo Maffei,
Francesco Placella:
Inferring authentication tags.
WITS 2005: 41-49 |
55 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Preface.
Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005) |
54 | EE | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication primitives for secure protocol specifications.
Future Generation Comp. Syst. 21(4): 645-653 (2005) |
53 | EE | Riccardo Focardi:
Guest editor's preface.
Journal of Computer Security 13(3): 345- (2005) |
2004 |
52 | | Riccardo Focardi,
Roberto Gorrieri:
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures
Springer 2004 |
51 | EE | Michele Bugliesi,
Riccardo Focardi,
Matteo Maffei:
Compositional Analysis of Authentication Protocols.
ESOP 2004: 140-154 |
50 | EE | Michele Bugliesi,
Riccardo Focardi,
Matteo Maffei:
Authenticity by tagging and typing.
FMSE 2004: 1-12 |
49 | EE | Riccardo Focardi:
Static Analysis of Authentication.
FOSAD 2004: 109-132 |
48 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Nesting analysis of mobile ambients.
Computer Languages, Systems & Structures 30(3-4): 207-230 (2004) |
47 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Verifying persistent security properties.
Computer Languages, Systems & Structures 30(3-4): 231-258 (2004) |
46 | EE | Riccardo Focardi,
Flaminia L. Luccio:
A modular approach to Sprouts.
Discrete Applied Mathematics 144(3): 303-319 (2004) |
45 | EE | Annalisa Bossi,
Riccardo Focardi,
Damiano Macedonio,
Carla Piazza,
Sabina Rossi:
Unwinding in Information Flow Security.
Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004) |
44 | EE | Riccardo Focardi,
Matteo Maffei:
The rho-spi Calculus at Work: Authentication Case Studies.
Electr. Notes Theor. Comput. Sci. 99: 267-293 (2004) |
43 | EE | 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. 99: 319-337 (2004) |
2003 |
42 | EE | Michele Bugliesi,
Riccardo Focardi,
Matteo Maffei:
Principles for Entity Authentication.
Ershov Memorial Conference 2003: 294-306 |
41 | EE | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication Primitives for Protocol Specifications.
PaCT 2003: 49-65 |
40 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Refinement Operators and Information Flow Security.
SEFM 2003: 44-53 |
39 | EE | Chiara Braghin,
Agostino Cortesi,
Stefano Filippone,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
BANANA - A Tool for Boundary Ambients Nesting ANAlysis.
TACAS 2003: 437-441 |
38 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Bisimulation and Unwinding for Verifying Possibilistic Security Properties.
VMCAI 2003: 223-237 |
37 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Flaminia L. Luccio,
Carla Piazza:
Complexity of Nesting Analysis in Mobile Ambients.
VMCAI 2003: 86-101 |
36 | EE | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Information Leakage Detection in Boundary Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
35 | EE | Riccardo Focardi,
Gianluigi Zavattaro:
Preface.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
34 | | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
A comparison of three authentication properties.
Theor. Comput. Sci. 291(3): 285-327 (2003) |
2002 |
33 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Transforming Processes to Check and Ensure Information Flow Security.
AMAST 2002: 271-286 |
32 | EE | Riccardo Focardi,
Sabina Rossi:
Information Flow Security in Dynamic Contexts.
CSFW 2002: 307-319 |
31 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Control Flow Analysis of Mobile Ambients with Security Boundaries.
FMOODS 2002: 197-212 |
30 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Classification of Security Properties - Part II: Network Security.
FOSAD 2002: 139-185 |
29 | EE | Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa,
Riccardo Focardi,
Vladimiro Sassone:
A Survey of Name-Passing Calculi and Crypto-Primitives.
FOSAD 2002: 91-138 |
28 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi,
Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
IFIP TCS 2002: 383-395 |
27 | EE | Annalisa Bossi,
Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
A Proof System for Information Flow Security.
LOPSTR 2002: 199-218 |
26 | EE | Riccardo Focardi,
Carla Piazza,
Sabina Rossi:
Proofs Methods for Bisimulation Based Information Flow Security.
VMCAI 2002: 16-31 |
25 | | Agostino Cortesi,
Riccardo Focardi:
Computer languages and security.
Comput. Lang. 28(1): 1-2 (2002) |
24 | | Chiara Braghin,
Agostino Cortesi,
Riccardo Focardi:
Security boundaries in mobile ambients.
Comput. Lang. 28(1): 101-127 (2002) |
23 | EE | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Primitives for authentication in process algebras.
Theor. Comput. Sci. 283(2): 271-304 (2002) |
2001 |
22 | | Riccardo Focardi,
Roberto Gorrieri:
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]
Springer 2001 |
21 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.
MMM-ACNS 2001: 287-299 |
20 | EE | Agostino Cortesi,
Riccardo Focardi:
Information Flow Security in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 54: (2001) |
19 | EE | 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. 62: (2001) |
18 | EE | 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. 62: (2001) |
2000 |
17 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Message Authentication through Non Interference.
AMAST 2000: 258-272 |
16 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra.
CSFW 2000: 170-184 |
15 | EE | Riccardo Focardi,
Roberto Gorrieri:
Classification of Security Properties (Part I: Information Flow).
FOSAD 2000: 331-396 |
14 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols.
ICALP 2000: 354-372 |
13 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference.
ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000) |
12 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Secrecy in Security Protocols as Non Interference.
Electr. Notes Theor. Comput. Sci. 32: (2000) |
11 | EE | Riccardo Focardi,
Flaminia L. Luccio,
David Peleg:
Feedback vertex set in hypercubes.
Inf. Process. Lett. 76(1-2): 1-5 (2000) |
1999 |
10 | EE | Antonio Durante,
Riccardo Focardi,
Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols.
CSFW 1999: 203-212 |
9 | EE | Chiara Bodei,
Pierpaolo Degano,
Riccardo Focardi,
Corrado Priami:
Authentication via Localized Names.
CSFW 1999: 98-110 |
8 | EE | Riccardo Focardi,
Fabio Martinelli:
A Uniform Approach for the Definition of Security Properties.
World Congress on Formal Methods 1999: 794-813 |
1998 |
7 | EE | Roberto Gorrieri,
Paul F. Syverson,
Martín Abadi,
Riccardo Focardi,
Dieter Gollmann,
Gavin Lowe,
Catherine Meadows:
Panel Introduction: Varieties of Authentication.
CSFW 1998: 79-82 |
1997 |
6 | EE | Riccardo Focardi,
Roberto Gorrieri:
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.
IEEE Trans. Software Eng. 23(9): 550-571 (1997) |
1996 |
5 | EE | Riccardo Focardi:
Comparing Two Information Flow Security Properties.
CSFW 1996: 116-122 |
4 | | Riccardo Focardi,
Roberto Gorrieri:
Automatic Compositional Verification of Some Security Properties.
TACAS 1996: 167-186 |
1995 |
3 | EE | Riccardo Focardi,
Roberto Gorrieri,
V. Panini:
The security checker: a semantics-based tool for the verification of security properties.
CSFW 1995: 60-69 |
2 | | Riccardo Focardi,
Roberto Gorrieri:
A Taxonomy of Security Properties for Process Algebras.
Journal of Computer Security 3(1): 5-34 (1995) |
1994 |
1 | | Riccardo Focardi,
Roberto Gorrieri:
A Taxonomy of Security Properties for CCS.
CSFW 1994: 126-136 |