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
Global Progress in Dynamically Interleaved Multiparty Sessions, Proc. CONCUR'08, pp.418-433, 2008. ,
DOI : 10.1007/978-3-540-85361-9_33
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
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
Secure Information Flow as a Safety Property, Proc. FAST'08, pp.20-34, 2009. ,
DOI : 10.1007/978-3-642-01465-9_2
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
Typing Access Control and Secure Information Flow in Sessions. Information and Computation, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01088782
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
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
Testing Equivalence for Processes, Proc. ICALP'83, pp.548-560, 1983. ,
Sessions and Session Types: An Overview, Proc. WS-FM'09, pp.1-28, 2010. ,
DOI : 10.1007/978-3-642-14458-5_1
Automata-Based Confidentiality Monitoring, Proc. ASIAN'06, pp.75-89, 2007. ,
DOI : 10.1007/11555827_21
URL : https://hal.archives-ouvertes.fr/inria-00130210
Types for dyadic interaction, Proc. CONCUR'93, pp.509-523, 1993. ,
DOI : 10.1007/3-540-57208-2_35
Language primitives and type discipline for structured communication-based programming, Proc. ESOP'98, pp.22-138, 1998. ,
DOI : 10.1007/BFb0053567
Multiparty Asynchronous Session Types, Proc. POPL'08, pp.273-284, 2008. ,
Communicating and Mobile Systems: the Pi-Calculus, 1999. ,
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
Secure Enforcement for Global Process Specifications, Proc. CONCUR'09, pp.511-526, 2009. ,
DOI : 10.1007/BFb0053567
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
An interaction-based language and its typing system, Proc. PARLE'94, pp.398-413, 1994. ,
DOI : 10.1007/3-540-58184-7_118
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