Search filters

List of works by Agostino Cortesi

A calculus of challenges and responses

scientific article published in 2007

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients

scientific article published in August 2004

Computer languages and security

scientific article published in April 2002

Directionally continuous selections in Banach spaces

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging

scientific article published in 2020

Information Flow Security in Mobile Ambients1 1Partially supported by MURST Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow”, and “Certificazione automatica di programmi mediante interpretazione astratta”

scientific article published in August 2001

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

Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability

scientific article published on 30 March 2020

Nesting analysis of mobile ambients

scientific article published in October 2004

Security boundaries in mobile ambients

scientific article published in April 2002

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables

scientific article published on 17 October 2024

Towards a High Level Linter for Data Science

scientific article published on 17 October 2024

Paulina is supported by:

About Paulina

Help