Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015)