SPEAKER: Silvia Crafa

TITLE:  A Theory of Noninterference for the pi-calculus,
      (Understanding noninterference through bisimulations) 

ABSTRACT:
I'm going to present a theory of noninterference for a typed 
version of the pi-calculus.
I'm going to show that noninterference has a number of  
characterizations in terms of typed behavioural equivalences, 
that naturally lead to efficient methods for the verification 
and the construction of compositionally secure systems. 
I'm also going to discuss how to add a downgrading mechanism to 
the pi-calculus in order to increase the flexibility of secure systems.
The idea is to give an intuitive overview of all the technicalities.