New paper on behavioural types for security is published at JLAMP

Ilaria Castellani together with her co-authors has a new paper accepted to the Journal of Logical and Algebraic Methods in Programming (JLAMP):

• Combining behavioural types with security analysis.
  Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira.