titoli, abstracts, parole chiave >>>
Browse by Author
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 4.

Bodei, Chiara and Brodo, Linda and Chiarugi, Davide (2012) Control flow analysis of generalised Boolean networks. Electronic Notes in Theoretical Computer Science, Vol. 284 , p. 3-22. eISSN 1571-0661. Article.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2010) Detecting and preventing type flaws at static time. Journal of Computer Security, Vol. 18 (2), p. 229-264. eISSN 1875-8924. Article.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and preventing type flaws: a control flow analysis with tags. Electronic Notes in Theoretical Computer Science, Vol. 194 (1), p. 3-22. ISSN 1571-0661. Article.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2008) Statically detecting message confusions in a multi-protocol setting. In: Proceedings of the International Workshop on Issues in the Theory of Security (WITS'08), 2008, Pittsburgh (PA), USA. [1-18]. Conference or Workshop Item.

This list was generated on Sun May 26 21:59:13 2019 CEST.