Dante Zanarini
Assistant Professor
Departamento de Ciencias de la Computación
Facultad de Cs. Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario

PhD Student
Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas


Email:  dante (at) fceia (dot) unr (dot) edu (dot) ar

  




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:

  • "Formalization of Alternating Time Temporal Logic in Coq" (coq files)

  • “Precise Enforcement of Confidentiality for Reactive Systems” (Haskell code)