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 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 Sat Feb 27 02:44:27 2021 CET.