Search filters

List of works by Chiara Braghin

Information Leakage Detection in Boundary Ambients1 1Partially supported by MIUR Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow” and “Modelli formali per la sicurezza”, and the EU Contract IST-2001-32617 “Models and

scientific article published in April 2003

Information flow security in Boundary Ambients

scientific article published in February 2008

Nesting analysis of mobile ambients

scientific article published in October 2004

Security boundaries in mobile ambients

scientific article published in April 2002

Paulina is supported by:

About Paulina

Help