|
Publications
D. Zanarini, M. Jaskelioff, A.
Russo, “Precise Enforcement of Confidentiality for Reactive
Systems”. Computer Security Foundations Symposium
(CSF 2013). To appear. (pdf).
The extended version can be found here
D. Zanarini, C. Luna, L.
Sierra, "Alternating-time Temporal Logic in the Calculus of
(Co)Inductive Constructions". R. Gheyi and D. Naumann
(Eds.): SBMF 2012,
LNCS 7498, pp. 210--225. Springer, Heidelberg (2012). (pdf)
Teaching:
Software:
|
|