Publications
Also look at My Scholar Profile :-)
-
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
On Quantitative Security Policies,
PaCT-2011, Kazan, Russia, Sept 19-23, 2011 --- -pdf-
The product may include trace amounts of measure theory, logic and dried fruit. -
G.Mezzetti, G. Checcucci, B.E. Maserti, R. Del Carratore,
Conserved sequences in orthologues CYP51 promoters,
Poster at BITS-2011, Pisa, Itay, June 20-22, 2011 --- -pdf- -
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
Typing Context-Dependent Behavioural Variations,
PLACES-2012, --- -pdf-
The product may include trace amounts of type-systems massaged with great quantities of Jojoba oil. -
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
Types for Coordinating Secure Behavioural Variations,
COORDINATION-2012, --- -pdf- -
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
Nominal Automata for Resource Usage Control,
CIAA-2012, --- -pdf- -
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti,
Formalising Security in Ubiquitous and Cloud Scenarios,
CISIM-2012, --- -pdf- -
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti,
Towards Nominal Context-Free Model-Checking,
CIAA-2013, --- -pdf-