A. Askarov and A. Sabelfeld, Tight Enforcement of Information-Release Policies for Dynamic Languages, 2009 22nd IEEE Computer Security Foundations Symposium, pp.43-59, 2009.
DOI : 10.1109/CSF.2009.22

L. Bettini, M. Coppo, L. D-'antoni, M. De-luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, Proc. CONCUR'08, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33

K. Bhargavan, R. Corin, P. M. Deniélou, C. Fournet, and J. J. Leifer, Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, 2009 22nd IEEE Computer Security Foundations Symposium, pp.124-140, 2009.
DOI : 10.1109/CSF.2009.26

A. Bossi, R. Focardi, C. Piazza, and S. Rossi, Verifying persistent security properties, Computer Languages, Systems & Structures, vol.30, issue.3-4, pp.3-4231, 2004.
DOI : 10.1016/j.cl.2004.02.005

G. Boudol, Secure Information Flow as a Safety Property, Proc. FAST'08, pp.20-34, 2009.
DOI : 10.1007/978-3-642-01465-9_2

S. Capecchi, I. Castellani, and M. Dezani-ciancaglini, Information Flow Safety in Multiparty Sessions, Proc. EXPRESS'11, pp.16-30, 2011.
DOI : 10.4204/EPTCS.64.2
URL : https://hal.archives-ouvertes.fr/hal-01237236

S. Capecchi, I. Castellani, and M. Dezani-ciancaglini, Typing Access Control and Secure Information Flow in Sessions. Information and Computation, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01088782

S. Capecchi, I. Castellani, D. Ciancaglini, M. , R. et al., Session Types for Access and Information Flow Control, Proc. CONCUR'10, pp.237-252, 2010.
DOI : 10.1007/978-3-642-15375-4_17
URL : https://hal.archives-ouvertes.fr/inria-00511304

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02, 2014.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

D. Nicola, R. Hennessy, and M. , Testing Equivalence for Processes, Proc. ICALP'83, pp.548-560, 1983.

M. Dezani-ciancaglini and U. De-'liguoro, Sessions and Session Types: An Overview, Proc. WS-FM'09, pp.1-28, 2010.
DOI : 10.1007/978-3-642-14458-5_1

G. L. Guernic, A. Banerjee, T. Jensen, and D. A. Schmidt, Automata-Based Confidentiality Monitoring, Proc. ASIAN'06, pp.75-89, 2007.
DOI : 10.1007/11555827_21
URL : https://hal.archives-ouvertes.fr/inria-00130210

K. Honda, Types for dyadic interaction, Proc. CONCUR'93, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proc. ESOP'98, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, Proc. POPL'08, pp.273-284, 2008.

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

A. C. Myers and B. Liskov, Protecting privacy using the decentralized label model, ACM Transactions on Software Engineering and Methodology, vol.9, issue.4, pp.410-442, 2000.
DOI : 10.1145/363516.363526

J. Planul, R. Corin, and C. Fournet, Secure Enforcement for Global Process Specifications, Proc. CONCUR'09, pp.511-526, 2009.
DOI : 10.1007/BFb0053567

A. Sabelfeld and A. Russo, From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research, Proc. PSI'06, pp.352-365, 2010.
DOI : 10.1007/978-3-642-11486-1_30

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, Proc. PARLE'94, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118

L. Zheng and A. C. Myers, Dynamic security labels and static information flow control, International Journal of Information Security, vol.15, issue.2???3, pp.67-84, 2007.
DOI : 10.1007/s10207-007-0019-9