@inproceedings(AskSab,
 author       = "A. Askarov and A. Sabelfeld",
 year         = "2009",
 title        = "{Tight Enforcement of Information-Release Policies for Dynamic Languages}",
 booktitle    = "Proc. CSF'09",
 publisher    = "IEEE Computer Society",
 pages        = "43--59",
)
@inproceedings(Mitchell,
 author       = "Adam Barth and John Mitchell and Anupam Datta and Sharada Sundaram",
 year         = "2007",
 title        = "Privacy and Utility in Business Processes",
 booktitle    = "Proc. CSF'07",
 publisher    = "IEEE Computer Society",
 pages        = "279--294",
)
@inproceedings(corinsessions09,
 author       = "K. Bhargavan and R. Corin and P. M. Deni{\'e}lou and C. Fournet and J. J. Leifer",
 year         = "2009",
 title        = "{Cryptographic Protocol Synthesis and Verification for Multiparty Sessions}",
 booktitle    = "Proc. CSF'09",
 publisher    = "IEEE Computer Society",
 pages        = "124--140",
)
@inproceedings(Boudol08,
 author       = "G. Boudol",
 year         = "2009",
 title        = "{Secure Information Flow as a Safety Property}",
 booktitle    = "Proc. FAST'08",
 series       = "LNCS",
 volume       = "5491",
 publisher    = "Springer",
 pages        = "20--34",
)
@inproceedings(CCDR10,
 author       = "S. {C}apecchi and I. {C}astellani and M. {D}ezani {C}iancaglini and T. {R}ezk",
 year         = "2010",
 title        = "{Session Types for Access and Information Flow Control}",
 booktitle    = "Proc. CONCUR'10",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "237--252",
)
@inproceedings(DL10,
 author       = "M. Dezani-Ciancaglini and U. de' Liguoro",
 year         = "2010",
 title        = "{Sessions and Session Types: an Overview}",
 booktitle    = "Proc. WS-FM'09",
 series       = "LNCS",
 volume       = "6194",
 publisher    = "Springer",
 pages        = "1--28",
)
@inproceedings(csfw02,
 author       = "R. Focardi and S. Rossi",
 year         = "2002",
 title        = "Information {F}low {S}ecurity in {D}ynamic {C}ontexts",
 booktitle    = "Proc. CSFW'02)",
 publisher    = "IEEE Computer Society Press",
 pages        = "307--319",
)
@inproceedings(GBJD06,
 author       = "G. Le Guernic and A. Banerjee and T. Jensen and D. A. Schmidt",
 year         = "2007",
 title        = "{Automata-based Confidentiality Monitoring}",
 booktitle    = "Proc. ASIAN'06",
 series       = "LNCS",
 volume       = "4435",
 publisher    = "Springer",
 pages        = "75--89",
)
@inproceedings(CHY07,
 author       = "K. Honda and N. Yoshida and M. Carbone",
 year         = "2008",
 title        = "{Multiparty Asynchronous Session Types}",
 booktitle    = "Proc. POPL'08",
 publisher    = "ACM Press",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(LPT07,
 author       = "A. Lapadula and R. Pugliese and F. Tiezzi",
 year         = "2007",
 title        = "{Regulating Data Exchange in Service Oriented Applications}",
 booktitle    = "Proc. FSEN'07",
 series       = "LNCS",
 volume       = "4767",
 publisher    = "Springer",
 pages        = "223--239",
)
@book(MilnerR:commspc,
 author       = "R. Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: the Pi-Calculus",
 publisher    = "CUP",
)
@article(Myers1,
 author       = "A. C. Myers and B. Liskov",
 year         = "2000",
 title        = "{Protecting Privacy using the Decentralized Label Model}",
 journal      = "ACM Transactions on Software Engineering and Methodology",
 volume       = "9",
 pages        = "410--442",
 doi          = "10.1145/363516.363526",
)
@inproceedings(planulconcur09,
 author       = "J. Planul and R. Corin and C. Fournet",
 year         = "2009",
 title        = "{Secure Enforcement for Global Process Specifications}",
 booktitle    = "Proc. CONCUR'09",
 series       = "LNCS",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "511--526",
)
@inproceedings(SR09,
 author       = "A. Sabelfeld and A. Russo",
 year         = "2010",
 title        = "{From Dynamic to Static and Back: Riding the Roller Coaster of Information-flow Control Research}",
 booktitle    = "Proc. PSI'06",
 series       = "LNCS",
 volume       = "5947",
 publisher    = "Springer",
 pages        = "352--365",
)
@inproceedings(THK,
 author       = "K. Takeuchi and K. Honda and M. Kubo",
 year         = "1994",
 title        = "{An Interaction-based Language and its Typing System}",
 booktitle    = "Proc. PARLE'94",
 series       = "LNCS",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
)
@article(Myers2,
 author       = "L. Zheng and A. C. Myers",
 year         = "2007",
 title        = "{Dynamic Security Labels and Static Information Flow Control}",
 journal      = "International Journal of Information Security",
 volume       = "6",
 pages        = "67--84",
 doi          = "10.1007/s10207-007-0019-9",
)