Fine-Grained and Coarse-Grained Reactive Noninterference. - Pejman Attar; Ilaria Castellani (TGC, 2013)

Towards a safe and secure synchronous language. (Vers un langage synchrone sûr et securisé). - Pejman Attar (2013)