Ambient Calculus; Security; Static Analysis

Behind Banana: Design and Implemantation of a Tool for Nesting Analysis of Mobile Ambients

We present a survey of the work on control-flow analysis carried on by the Venice Team during the Mefisto project. We study security issues, in particular information leakage detection, in the context of the Mobile Ambient calculus. We describe …