 | 2009 |
|---|
| 12 |       | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
nu-Types for Effects and Freshness Analysis.
ICTAC 2009: 80-95 |
| 11 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst. 31(6): (2009) |
| 10 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Hard Life with Weak Binders.
Electr. Notes Theor. Comput. Sci. 242(1): 49-72 (2009) |
| 9 | | Massimo Bartoletti,
Gabriele Costa,
Pierpaolo Degano,
Fabio Martinelli,
Roberto Zunino:
Securing Java with Local Policies.
Journal of Object Technology 8(4): 5-32 (2009) |
| 2008 |
|---|
| 8 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Model Checking Usage Policies.
TGC 2008: 19-35 |
| 7 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng. 34(1): 33-49 (2008) |
| 2007 |
|---|
| 6 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Secure Service Orchestration.
FOSAD 2007: 24-74 |
| 5 | | Massimo Bartoletti,
Pierpaolo Degano,
Gian Luigi Ferrari,
Roberto Zunino:
Types and Effects for Resource Usage Analysis.
FoSSaCS 2007: 32-47 |
| 2006 |
|---|
| 4 | | Roberto Zunino,
Pierpaolo Degano:
Handling exp, × (and Timestamps) in Protocol Analysis.
FoSSaCS 2006: 413-427 |
| 2005 |
|---|
| 3 | | Roberto Zunino,
Pierpaolo Degano:
Weakening the perfect encryption assumption in Dolev-Yao adversaries.
Theor. Comput. Sci. 340(1): 154-178 (2005) |
| 2004 |
|---|
| 2 | | Roberto Zunino,
Pierpaolo Degano:
A Note on the Perfect Encryption Assumption in a Process Calculus.
FoSSaCS 2004: 514-528 |
| 1 | | Roberto Zunino:
Control Flow Analysis for the Applied Pi-calculus.
Electr. Notes Theor. Comput. Sci. 99: 87-110 (2004) |
