@article(BCDDGPPTTV,
 author       = {Massimo Bartoletti and Ilaria Castellani and Pierre-Malo Deni\'elou and Dezani-Ciancaglini, Mariangiola and Silvia Ghilezan and Jovanka Pantovic and Jorge A. P\'erez and Peter Thiemann and Bernardo Toninho and Hugo Torres Vieira},
 year         = {2015},
 title        = {{Combining Behavioural Types with Security Analysis}},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 number       = {6},
 pages        = {763 -- 780},
 doi          = {10.1016/j.jlamp.2015.09.003},
 note         = {Special Issue on Open Problems in Concurrency Theory},
)
@inproceedings(BY09,
 author       = {Andi Bejleri and Nobuko Yoshida},
 year         = {2009},
 title        = {Synchronous Multiparty Session Types},
 editor       = {Vasco T. Vasconcelos and Nobuko Yoshida},
 booktitle    = {Proc. PLACES},
 series       = {ENTCS},
 volume       = {241},
 pages        = {3--33},
 doi          = {10.1016/j.entcs.2009.06.002},
)
@article(CCD14,
 author       = {Sara Capecchi and Ilaria Castellani and Dezani-Ciancaglini, Mariangiola},
 year         = {2014},
 title        = {{Typing Access Control and Secure Information Flow in Sessions}},
 journal      = {Information and Computation},
 volume       = {238},
 pages        = {68--105},
 doi          = {10.1016/j.ic.2014.07.005},
)
@article(CCD16,
 author       = {Sara Capecchi and Ilaria Castellani and Dezani-Ciancaglini, Mariangiola},
 year         = {2016},
 title        = {{Information Flow Safety in Multiparty Sessions}},
 journal      = {Mathematical Structures in Computer Science},
 note         = {To appear},
)
@inproceedings(DGJPY15,
 author       = {Dezani-Ciancaglini, Mariangiola and Silvia Ghilezan and Svetlana Jaksic, Jovanka Pantovic and Nobuko Yoshida},
 year         = {2016},
 title        = {{Precise Subtyping for Synchronous Multiparty Sessions}},
 editor       = {Simon Gay},
 booktitle    = {Proc. PLACES},
 series       = {EPTCS},
 volume       = {203},
 pages        = {29 -- 44},
 doi          = {10.4204/EPTCS.203.3},
)
@inproceedings(CHY08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {{Multiparty Asynchronous Session Types}},
 editor       = {George C. Necula and Philip Wadler},
 booktitle    = {Proc. POPL},
 publisher    = {ACM Press},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@inproceedings(LC15,
 author       = {Louren{\c{c}}o, Lu{\'{\i}}sa and Lu{\'{\i}}s Caires},
 year         = {2015},
 title        = {{Dependent Information Flow Types}},
 editor       = {Sriram K. Rajamani and David Walker},
 booktitle    = {Proc. POPL},
 publisher    = {ACM Press},
 pages        = {317--328},
 doi          = {10.1145/2676726.2676994},
)
@book(pierce,
 author       = {B. C. Pierce},
 year         = {2002},
 title        = {Types and Programming Languages},
 publisher    = {MIT Press},
)
@article(SabSands09,
 author       = {Andrei Sabelfeld and David Sands},
 year         = {2009},
 title        = {Declassification: Dimensions and principles},
 journal      = {Journal of Computer Security},
 volume       = {17},
 number       = {5},
 pages        = {517--548},
 doi          = {10.3233/JCS-2009-0352},
)