Publications

 

This list of publication is obsolete. For an updated list, check tcs.unica.it

On contract-oriented computing

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto and Roberto Zunino. Honesty by typing. In Proc. FMOODS-FORTE, 2013.
[ pdf ]

Massimo Bartoletti, Tiziana Cimoli and Roberto Zunino. A theory of agreements and protection. In Proc. POST, 2013.
[ pdf ]

Massimo Bartoletti, Tiziana Cimoli and G. M. Pinna. Lending Petri nets and contracts. In Proc. FSEN, 2013.
[ pdf ]

Massimo Bartoletti, Emilio Tuosto and Roberto Zunino. On the realizability of contracts in dishonest systems. In Proc. COORDINATION, 2012.
[ pdf ]

M. Bartoletti, E. Tuosto, R. Zunino. Contract-oriented Computing in CO2. In Scientific Annals of Computer Science, 22(1), 2012.
[ pdf ]

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna and Roberto Zunino. An event-based model for contracts. In Proc. PLACES, 2012.

Massimo Bartoletti, Emilio Tuosto and Roberto Zunino. Contracts in distributed systems. In ICE, 2011.
[pdf | talk]

Massimo Bartoletti and Roberto Zunino. Primitives for contract-based synchronization. In ICE, 2010.
[pdf | talk]

Massimo Bartoletti and Roberto Zunino. A calculus of contracting processes. In LICS, 2010. Also appeared as Technical Report DISI-09-056, October 2009.
[pdf | tech report]

Massimo Bartoletti and Roberto Zunino. A logic for contracts. Technical Report DISI-09-034, July 2009.
[pdf]

Massimo Bartoletti and Roberto Zunino. Security issues in contract-based computing. In Formal Aspects of Security and Trust, 2009.
[pdf]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Planning and verifying service composition. In Journal of Computer Security, Vol. 17, Issue 5, 2009.
[ pdf @ IOSPress | tech report | talk | bib]

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Semantics-based design for secure Web Services. In IEEE Transactions on Software Engineering, Vol. 34, Issue 1, 2008.
[ pdf @ IEEE | bib]

Massimo Bartoletti, Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo and Roberto Zunino. L’orientamento ai servizi. In Mondo Digitale, Issue 25, 2008.
[ pdf ]

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Secure service orchestration. In FOSAD, 2007
[ pdf @Springer | bib ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Security issues in service composition. Invited talk at FMOODS 2006.
[ pdf @Springer | talk | bib]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Types and effects for secure service orchestration. In 19th Computer Security Foundations Workshop (CSFW), 2006.
[ pdf @ IEEE | bib]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Plans for service composition. In Workshop on Issues in the Theory of Security (WITS), 2006.
[ pdf | tech report | talk | bib]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Enforcing secure service composition. In Proc. of 18th Computer Security Foundations Workshop (CSFW), 2005.
[ pdf © IEEE | bib | talk ]

On language-based security

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Model checking usage policies. To appear in Mathematical Structures in Computer Science, 2014.

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Local policies for resource usage analysis. In ACM Transactions on Programming Languages and Systems, Vol. 31, Issue 6, 2009.
[ pdf @ ACM | proofs @ ACM ]

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. ν-types for effects and freshness analysis. In Proc. International Colloquium on Theoretical Aspects of Computing (ICTAC), 2009.
[ pdf © Springer | tech report | talk]

Massimo Bartoletti. Usage automata. In Proc. ARSPA-WITS, 2009.
[ pdf © Springer | talk]

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Model checking usage policies. In Proc. Trustworthy Global Computing (TGC), 2008.
[ pdf | tech report ]

Massimo Bartoletti and Roberto Zunino. LocUsT: a tool for model checking usage policies. Technical report, Università di Pisa, 2008.
[ pdf | tool ]

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Type and effects for resource usage analysis. In Proc. of Foundations on Software Science and Computation Structures (FOSSACS), 2007.
[ pdf © Springer-Verlag | bib ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Checking risky events is enough for local policies. In Proc. of 9th Italian Conference on Theoretical Computer Science (ICTCS), 2005.
[ pdf © Springer-Verlag | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. History-based access control with local policies. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), 2005.
[ pdf © Springer-Verlag | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Policy framings for access control. In Workshop on Issues in the Theory of Security (WITS), 2005.
[ pdf © ACM | bib | talk ]

Massimo Bartoletti. Language-based security: access control and static analysis. PhD Thesis, 2005.
[ pdf | talk]

On Java security

Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli and Roberto Zunino. Securing Java with local policies. In Journal of Object Technology, Vol. 8, No. 4, 2009.
[pdf]

Massimo Bartoletti, Gabriele Costa and Roberto Zunino. Jalapa: Securing Java with local policies. In Proc. BYTECODE, 2009.
[pdf © Elsevier]

Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Gian Luigi Ferrari, Fabio Martinelli and Roberto Zunino. Securing Java with local policies. In Workshop on Formal Techniques for Java-like Programs, 2008.
[ pdf | bib ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Method inlining in the presence of stack inspection. In Workshop on Issues in the Theory of Security (WITS), 2004.
[ pdf | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Stack inspection and secure program transformations. In International Journal of Information Security, 2(3-4): 187-217, 2004.
[ pdf © Springer-Verlag | bib ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Program transformations under dynamic security policies. In Proc. of the MEFISTO Project 2003, Formal Methods for Security and Time, 2004.
[ pdf © Elsevier | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Security-aware program transformations. In Proc. of 8th Italian Conference on Theoretical Computer Science (ICTCS), 2003.
[ pdf © Springer-Verlag | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Static analysis for eager stack inspection. In Workshop on Formal Techniques for Java-like Programs, 2003.
[ pdf | bib | talk ]

Massimo Bartoletti, Pierpaolo Degano and Gian Luigi Ferrari. Static analysis for stack inspection. In Proc. of ConCoord: International Workshop on Concurrency and Coordination, 2001.
[ pdf © Elsevier | bib ]

Massimo Bartoletti. Static analysis for Java security. Master Thesis, 2001.
[ pdf ]

On concurrency theory

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Hard life with weak binders. In Proc. of EXPRESS, 2008.
[ pdf © Elsevier | tech report | talk ]

Massimo Bartoletti and Roberto Zunino. Static enforcement of service deadlines. In SEFM, 2010.
[ tech report ]

  No Responses to “Publications”

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar