litterature.bib

@inproceedings{Arden:2015:FA:2859845.2859998,
 author = {Arden, Owen and Liu, Jed and Myers, Andrew C.},
 title = {{Flow-Limited Authorization}},
 booktitle = {Proceedings of the 2015 IEEE 28th Computer Security Foundations Symposium},
 series = {CSF '15},
 year = {2015},
 isbn = {978-1-4673-7538-2},
 pages = {569--583},
 numpages = {15},
 url = {https://doi.org/10.1109/CSF.2015.42},
 doi = {10.1109/CSF.2015.42},
 acmid = {2859998},
 publisher = {IEEE Computer Society},
 keywords = {security, information flow control, authorization logic, access control, trust management, distributed systems, language-based security, dynamic policies},
} 

@inproceedings{Buiras:2015:DED:2786558.2786563,
 author = {Buiras, Pablo and van Delft, Bart},
title = {{Dynamic Enforcement of Dynamic Policies}},
 booktitle = {Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security},
 series = {PLAS '15},
 year = {2015},
 isbn = {978-1-4503-3661-1},
 pages = {28--41},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/2786558.2786563},
 doi = {10.1145/2786558.2786563},
 acmid = {2786563},
 publisher = {ACM},
 keywords = {Dynamic Policies, Information Flow Control, LIO},
} 

@article{SRMMlio,
  author    = {Deian Stefan and
               David Mazieres and
               John C. Mitchell and
               Alejandro Russo},
 title     = {{Flexible Dynamic Information Flow Control in the Presence of Exceptions}},
  journal   = {Journal of Functional Programming},
  volume    = {27},
  pages     = {e5},
  year      = {2017},
  url       = {https://doi.org/10.1017/S0956796816000241},
  doi       = {10.1017/S0956796816000241}
}

@inproceedings{Cooper:2009:RC:1599410.1599439,
 author = {Cooper, Ezra E.K. and Wadler, Philip},
title = {The {RPC} Calculus},
 booktitle = {Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming},
 series = {PPDP '09},
 year = {2009},
 isbn = {978-1-60558-568-0},
 pages = {231--242},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1599410.1599439},
 doi = {10.1145/1599410.1599439},
 acmid = {1599439},
 publisher = {ACM},
 keywords = {continuation-passing style, defunctionalization, location-aware language, programming languages, trampolined style, web programming},
} 

@inproceedings{Moore:2016:EAC:2983990.2984021,
 author = {Moore, Scott and Dimoulas, Christos and Findler, Robert Bruce and Flatt, Matthew and Chong, Stephen},
title = {{Extensible Access Control with Authorization Contracts}},
 booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 series = {OOPSLA '16},
 year = {2016},
 isbn = {978-1-4503-4444-9},
 pages = {214--233},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/2983990.2984021},
 doi = {10.1145/2983990.2984021},
 acmid = {2984021},
 publisher = {ACM},
 keywords = {access control, authorization logic, contracts},
} 

@inproceedings{Felleisen:1988:TPF:73560.73576,
 author = {Felleisen, Mattias},
title = {{The Theory and Practice of First-class Prompts}},
 booktitle = {Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '88},
 year = {1988},
 isbn = {0-89791-252-7},
 pages = {180--190},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/73560.73576},
 doi = {10.1145/73560.73576},
 acmid = {73576},
 publisher = {ACM},
} 

@article{DBLP:journals/corr/abs-1107-5594,
  author    = {Aslan Askarov and
               Andrew C. Myers},
 title     = {{Attacker Control and Impact for Confidentiality and Integrity}},
  journal   = {Logical Methods in Computer Science},
  volume    = {7},
  number    = {3},
  year      = {2011},
  url       = {https://doi.org/10.2168/LMCS-7(3:17)2011},
  doi       = {10.2168/LMCS-7(3:17)2011},
  timestamp = {Mon, 13 Aug 2018 16:46:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-5594},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{Chong:2007:SWA:1294261.1294265,
 author = {Chong, Stephen and Liu, Jed and Myers, Andrew C. and Qi, Xin and Vikram, K. and Zheng, Lantian and Zheng, Xin},
title = {{Secure Web Applications via Automatic Partitioning}},
 booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles},
 series = {SOSP '07},
 year = {2007},
 isbn = {978-1-59593-591-5},
 pages = {31--44},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1294261.1294265},
 doi = {10.1145/1294261.1294265},
 acmid = {1294265},
 publisher = {ACM},
 keywords = {compilers, information flow, security policies},
} 

@inproceedings{Dolev:1981:SPK:1382435.1382728,
 author = {Dolev, D. and Yao, A. C.},
title = {{On the Security of Public Key Protocols}},
 booktitle = {Proceedings of the 22nd Annual Symposium on Foundations of Computer Science},
 series = {SFCS '81},
 year = {1981},
 pages = {350--357},
 numpages = {8},
 url = {https://doi.org/10.1109/SFCS.1981.32},
 doi = {10.1109/SFCS.1981.32},
 acmid = {1382728},
 publisher = {IEEE Computer Society},
}

@INPROCEEDINGS{4223226, 
author={A. Askarov and A. Sabelfeld}, 
booktitle={2007 IEEE Symposium on Security and Privacy}, 
title={{Gradual Release: Unifying Declassification, Encryption and Key Release Policies}}, 
year={2007}, 
volume={}, 
number={}, 
pages={207-221}, 
doi={10.1109/SP.2007.22}, 
ISSN={1081-6011}, 
series= {SP '07},
month={5},
}

@inproceedings{Banerjee:2002:SIF:794201.795164,
 author = {Banerjee, Anindya and Naumann, David A.},
title = {{Secure Information Flow and Pointer Confinement in a Java-like Language}},
 booktitle = {Proceedings of the 15th IEEE Workshop on Computer Security Foundations},
 series = {CSFW '02},
 year = {2002},
 isbn = {0-7695-1689-0},
 pages = {253--},
 url = {http://dl.acm.org/citation.cfm?id=794201.795164},
 acmid = {795164},
 publisher = {IEEE Computer Society},
}

@article{Pottier:2003:IFI:596980.596983,
 author = {Pottier, Francois and Simonet, Vincent},
title = {{Information Flow Inference for ML}},
 journal = {ACM Transactions on Programming Languages and Systems},
 issue_date = {January 2003},
 volume = {25},
 number = {1},
 month = jan,
 year = {2003},
 issn = {0164-0925},
 pages = {117--158},
 numpages = {42},
 url = {http://doi.acm.org/10.1145/596980.596983},
 doi = {10.1145/596980.596983},
 acmid = {596983},
 publisher = {ACM},
 keywords = {Constraint-based analysis, non-interference},
}

@inproceedings{Myers:1999:JPM:292540.292561,
 author = {Myers, Andrew C.},
title = {{JFlow: Practical Mostly-static Information Flow Control}},
 booktitle = {Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '99},
 year = {1999},
 isbn = {1-58113-095-3},
 pages = {228--241},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/292540.292561},
 doi = {10.1145/292540.292561},
 acmid = {292561},
 publisher = {ACM},
} 

@INPROCEEDINGS{6234468, 
author={J. A. Goguen and J. Meseguer}, 
booktitle={1982 IEEE Symposium on Security and Privacy}, 
title={{Security Policies and Security Models}}, 
year={1982}, 
volume={}, 
number={}, 
pages={11-11}, 
keywords={Computational modeling;Automata;Finite element methods;Mathematical model;Data models;Computers;Message systems}, 
doi={10.1109/SP.1982.10014}, 
ISSN={1540-7993}, 
month={4},}

@inproceedings{Zdancewic:2001:RD:872752.873524,
 author = {Zdancewic, Steve and Myers, Andrew C.},
title = {{Robust Declassification}},
 booktitle = {Proceedings of the 14th IEEE Workshop on Computer Security Foundations},
 series = {CSFW '01},
 year = {2001},
 pages = {5--},
 url = {http://dl.acm.org/citation.cfm?id=872752.873524},
 acmid = {873524},
 publisher = {IEEE Computer Society},
} 

@inproceedings{Myers:2004:ERD:1009380.1009673,
 author = {Myers, Andrew C. and Sabelfeld, Andrei and Zdancewic, Steve},
title = {{Enforcing Robust Declassification}},
 booktitle = {Proceedings of the 17th IEEE Workshop on Computer Security Foundations},
 series = {CSFW '04},
 year = {2004},
 isbn = {0-7695-2169-X},
 pages = {172--},
 url = {https://doi.org/10.1109/CSFW.2004.9},
 doi = {10.1109/CSFW.2004.9},
 acmid = {1009673},
 publisher = {IEEE Computer Society},
} 

@inproceedings{Cecchetti:2017:NIF:3133956.3134054,
 author = {Cecchetti, Ethan and Myers, Andrew C. and Arden, Owen},
title = {{Nonmalleable Information Flow Control}},
 booktitle = {Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security},
 series = {CCS '17},
 year = {2017},
 isbn = {978-1-4503-4946-8},
 pages = {1875--1891},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/3133956.3134054},
 doi = {10.1145/3133956.3134054},
 acmid = {3134054},
 publisher = {ACM},
 keywords = {downgrading, information flow control, information security, security types},
} 

@inproceedings{Stefan:2012:ACT:2364527.2364557,
 author = {Stefan, Deian and Russo, Alejandro and Buiras, Pablo and Levy, Amit and Mitchell, John C. and Mazieres, David},
title = {{Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems}},
 booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '12},
 year = {2012},
 isbn = {978-1-4503-1054-3},
 pages = {201--214},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/2364527.2364557},
 doi = {10.1145/2364527.2364557},
 acmid = {2364557},
 publisher = {ACM},
 keywords = {covert channels, library, monad},
}

@InProceedings{10.1007/978-3-642-40203-6_40,
author="Stefan, Deian
and Buiras, Pablo
and Yang, Edward Z.
and Levy, Amit
and Terei, David
and Russo, Alejandro
and Mazieres, David",
editor="Crampton, Jason
and Jajodia, Sushil
and Mayes, Keith",
title="Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling",
booktitle="Computer Security -- ESORICS 2013",
year="2013",
publisher="Springer Berlin Heidelberg",
pages="718--735",
isbn="978-3-642-40203-6"
}

@InProceedings{10.1007/978-3-319-24858-5_13,
author="Waye, Lucas
and Buiras, Pablo
and King, Dan
and Chong, Stephen
and Russo, Alejandro",
editor="Foresti, Sara",
title="It's My Privilege: Controlling Downgrading in {DC}-Labels",
booktitle="Security and Trust Management",
year="2015",
publisher="Springer International Publishing",
pages="203--219",
isbn="978-3-319-24858-5"
}

@inproceedings{Askarov:2008:TNL:1462455.1462485,
 author = {Askarov, Aslan and Hunt, Sebastian and Sabelfeld, Andrei and Sands, David},
title = {{Termination-Insensitive Noninterference Leaks More Than Just a Bit}},
 booktitle = {Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security},
 series = {ESORICS '08},
 year = {2008},
 isbn = {978-3-540-88312-8},
 pages = {333--348},
 numpages = {16},
 url = {http://dx.doi.org/10.1007/978-3-540-88313-5_22},
 doi = {10.1007/978-3-540-88313-5_22},
 acmid = {1462485},
 publisher = {Springer-Verlag},
}

@inproceedings{Smith:1998:SIF:268946.268975,
 author = {Smith, Geoffrey and Volpano, Dennis},
title = {{Secure Information Flow in a Multi-threaded Imperative Language}},
 booktitle = {Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '98},
 year = {1998},
 isbn = {0-89791-979-3},
 pages = {355--364},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/268946.268975},
 doi = {10.1145/268946.268975},
 acmid = {268975},
 publisher = {ACM},
} 

@inproceedings{Muller:2012:TPS:2384616.2384621,
 author = {Muller, Stefan and Chong, Stephen},
title = {{Towards a Practical Secure Concurrent Language}},
 booktitle = {Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications},
 series = {OOPSLA '12},
 year = {2012},
 isbn = {978-1-4503-1561-6},
 pages = {57--74},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/2384616.2384621},
 doi = {10.1145/2384616.2384621},
 acmid = {2384621},
 publisher = {ACM},
 keywords = {X10, information-flow control, language-based security},
}

@techreport{flamtr,
title={{Flow-limited authorization: Technical Report}},
author="Owen Arden and Jed Liu and Andrew C. Myers",
institution="Cornell University Computing and Information Science",
number="1813-40138",
url="http://hdl.handle.net/1813/40138",
month=5,
year="2015"}

@INPROCEEDINGS{7536372, 
author={O. Arden and A. C. Myers}, 
booktitle={2016 IEEE 29th Computer Security Foundations Symposium}, 
title={{A Calculus for Flow-Limited Authorization}}, 
series = {CSF '16},
year={2016}, 
volume={}, 
number={}, 
pages={135-149}, 
doi={10.1109/CSF.2016.17}, 
ISSN={2374-8303}, 
month={6},}

@inproceedings{hyperflow,
title={{Hyperflow: A Processor Architecture for Nonmalleable, Timing-Safe Information-Flow Security}},
author="Andrew Ferraiuolo and Mark Zhao and Andrew C. Myers and Suh, G. Edward",
booktitle="Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security",
series = {CCS '18},
url="http://www.cs.cornell.edu/andru/papers/hyperflow",
month=10,
year="2018"}

@inproceedings{Rajani2018,
  doi = {10.1109/csf.2018.00024},
  url = {https://doi.org/10.1109/csf.2018.00024},
  year  = {2018},
  month = jul,
  publisher = {{IEEE}},
  author = {Vineet Rajani and Deepak Garg},
 title = {{Types for Information Flow Control: Labeling Granularity and Semantic Models}},
  booktitle = {2018 {IEEE} 31st Computer Security Foundations Symposium},
  series={CSF '18}
}

@InProceedings{10.1007/978-3-642-25462-8_28,
author="Narita, Kensuke and Nishizaki, Shin{-}ya",
editor="Abd Manaf, Azizah
and Sahibuddin, Shamsul
and Ahmad, Rabiah
and Mohd Daud, Salwani
and El-Qawasmeh, Eyas",
title={{A Parallel Abstract Machine for the RPC Calculus}},
booktitle="Informatics Engineering and Information Science",
year="2011",
publisher="Springer Berlin Heidelberg",
pages="320--332",
isbn="978-3-642-25462-8"
}

@inproceedings{Wadler:1995:MFP:647698.734146,
 author = {Wadler, Philip},
title = {{Monads for Functional Programming}},
 booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text},
 year = {1995},
 isbn = {3-540-59451-5},
 pages = {24--52},
 numpages = {29},
 url = {http://dl.acm.org/citation.cfm?id=647698.734146},
 acmid = {734146},
 publisher = {Springer-Verlag},
} 

@inproceedings{Krohn:2007:IFC:1294261.1294293,
 author = {Krohn, Maxwell and Yip, Alexander and Brodsky, Micah and Cliffer, Natan and Kaashoek, M. Frans and Kohler, Eddie and Morris, Robert},
title = {{Information Flow Control for Standard OS Abstractions}},
 booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles},
 series = {SOSP '07},
 year = {2007},
 isbn = {978-1-59593-591-5},
 pages = {321--334},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1294261.1294293},
 doi = {10.1145/1294261.1294293},
 acmid = {1294293},
 publisher = {ACM},
 keywords = {DIFC, decentralized information flow control, endpoints, reference monitor, system call interposition, web services},
}

@inproceedings{Efstathopoulos:2005:LEP:1095810.1095813,
 author = {Efstathopoulos, Petros and Krohn, Maxwell and VanDeBogart, Steve and Frey, Cliff and Ziegler, David and Kohler, Eddie and Mazieres, David and Kaashoek, Frans and Morris, Robert},
title = {{Labels and Event Processes in the Asbestos Operating System}},
 booktitle = {Proceedings of the Twentieth ACM Symposium on Operating Systems Principles},
 series = {SOSP '05},
 year = {2005},
 isbn = {1-59593-079-5},
 pages = {17--30},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1095810.1095813},
 doi = {10.1145/1095810.1095813},
 acmid = {1095813},
 publisher = {ACM},
 keywords = {event processes, information flow, labels, mandatory access control, secure web servers},
} 

@inproceedings{Buiras:2015:HMS:2784731.2784758,
 author = {Buiras, Pablo and Vytiniotis, Dimitrios and Russo, Alejandro},
title = {{HLIO: Mixing Static and Dynamic Typing for Information-flow Control in Haskell}},
 booktitle = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '15},
 year = {2015},
 isbn = {978-1-4503-3669-7},
 pages = {289--301},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/2784731.2784758},
 doi = {10.1145/2784731.2784758},
 acmid = {2784758},
 publisher = {ACM},
 keywords = {Information-flow control, constraint kinds, data kinds, dynamic typing, gradual typing, hybrid typing, singleton types},
} 

@inproceedings{Zeldovich:2006:MIF:1267308.1267327,
 author = {Zeldovich, Nickolai and Boyd-Wickizer, Silas and Kohler, Eddie and Mazieres, David},
title = {{Making Information Flow Explicit in HiStar}},
 booktitle = {Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation},
 series = {OSDI '06},
 year = {2006},
 pages = {19--19},
 numpages = {1},
 url = {http://dl.acm.org/citation.cfm?id=1267308.1267327},
 acmid = {1267327},
 publisher = {USENIX Association},
} 

@inproceedings{Zeldovich:2008:SDS:1387589.1387610,
 author = {Zeldovich, Nickolai and Boyd-Wickizer, Silas and Mazieres, David},
title = {{Securing Distributed Systems with Information Flow Control}},
 booktitle = {Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation},
 series = {NSDI '08},
 year = {2008},
 pages = {293--308},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=1387589.1387610},
 acmid = {1387610},
 publisher = {USENIX Association},
} 

@inproceedings{Roy:2009:LPF:1542476.1542484,
 author = {Roy, Indrajit and Porter, Donald E. and Bond, Michael D. and McKinley, Kathryn S. and Witchel, Emmett},
title = {{Laminar: Practical Fine-grained Decentralized Information Flow Control}},
 booktitle = {Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '09},
 year = {2009},
 isbn = {978-1-60558-392-1},
 pages = {63--74},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1542476.1542484},
 doi = {10.1145/1542476.1542484},
 acmid = {1542484},
 publisher = {ACM},
 keywords = {information flow control, java virtual machine, operating systems, security region},
}

@INPROCEEDINGS{Hicks05dynamicupdating,
    author = {Michael Hicks and Stephen Tse and Boniface Hicks and Steve Zdancewic},
   title = {{Dynamic updating of information-flow policies}},
    booktitle = {In Proc. of Foundations of Computer Security Workshop},
    year = {2005}
}

@book{Menezes:1996:HAC:548089,
 author = {Menezes, Alfred J. and Vanstone, Scott A. and Oorschot, Paul C. Van},
title = {{Handbook of Applied Cryptography}},
 year = {1996},
 isbn = {0849385237},
 edition = {1},
 publisher = {CRC Press, Inc.},
}

@article{Ferraiolo:1999:RAC:300830.300834,
 author = {Ferraiolo, David F. and Barkley, John F. and Kuhn, D. Richard},
title = {{A Role-based Access Control Model and Reference Implementation Within a Corporate Intranet}},
 journal = {ACM Transactions on Information and System Security},
 issue_date = {Feb. 1999},
 volume = {2},
 number = {1},
 month = feb,
 year = {1999},
 issn = {1094-9224},
 pages = {34--64},
 numpages = {31},
 url = {http://doi.acm.org/10.1145/300830.300834},
 doi = {10.1145/300830.300834},
 acmid = {300834},
 publisher = {ACM},
 keywords = {RBAC, Web arrows, World Wide Web, access control, authorization management, role based access},
} 

@inproceedings{Liu:2009:FPS:1629575.1629606,
 author = {Liu, Jed and George, Michael D. and Vikram, K. and Qi, Xin and Waye, Lucas and Myers, Andrew C.},
title = {{Fabric: A Platform for Secure Distributed Computation and Storage}},
 booktitle = {Proceedings of the ACM SIGOPS 22Nd Symposium on Operating Systems Principles},
 series = {SOSP '09},
 year = {2009},
 isbn = {978-1-60558-752-3},
 pages = {321--334},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1629575.1629606},
 doi = {10.1145/1629575.1629606},
 acmid = {1629606},
 publisher = {ACM},
 keywords = {distributed systems, information flow, security, transactions},
}

@article{Lampson:1992:ADS:138873.138874,
 author = {Lampson, Butler and Abadi, Martin and Burrows, Michael and Wobber, Edward},
title = {{Authentication in Distributed Systems: Theory and Practice}},
 journal = {ACM Transactions on Computer Systems},
 issue_date = {Nov. 1992},
 volume = {10},
 number = {4},
 month = nov,
 year = {1992},
 issn = {0734-2071},
 pages = {265--310},
 numpages = {46},
 url = {http://doi.acm.org/10.1145/138873.138874},
 doi = {10.1145/138873.138874},
 acmid = {138874},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {certification authority, delegation, group, interprocess communication, key distribution, loading programs, path name, principal, role, secure channel, speaks for, trusted computing base},
}

@inproceedings{Abadi:2006:ACC:1159803.1159839,
 author = {Abadi, Martin},
title = {{Access Control in a Core Calculus of Dependency}},
 booktitle = {Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming},
 series = {ICFP '06},
 year = {2006},
 isbn = {1-59593-309-3},
 location = {Portland, Oregon, USA},
 pages = {263--273},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1159803.1159839},
 doi = {10.1145/1159803.1159839},
 acmid = {1159839},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {authorization, types},
}

@article{Vassena2019,
  doi = {10.1145/3290389},
  url = {https://doi.org/10.1145/3290389},
  year  = {2019},
  month = jan,
  publisher = {Association for Computing Machinery},
  volume = {3},
  number = {{POPL}},
  pages = {1--31},
  author = {Marco Vassena and Alejandro Russo and Deepak Garg and Vineet Rajani and Deian Stefan},
 title = {{From Fine- to Coarse-Grained Dynamic Information Flow Control and Back}},
  journal = {Proceedings of the {ACM} on Programming Languages}
}

@article{Myers:2000:PPU:363516.363526,
 author = {Myers, Andrew C. and Liskov, Barbara},
title = {{Protecting Privacy Using the Decentralized Label Model}},
 journal = {ACM Transactions on Software Engineering and Methodology},
 issue_date = {Oct. 2000},
 volume = {9},
 number = {4},
 month = oct,
 year = {2000},
 issn = {1049-331X},
 pages = {410--442},
 numpages = {33},
 url = {http://doi.acm.org/10.1145/363516.363526},
 doi = {10.1145/363516.363526},
 acmid = {363526},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {confidentiality, declassification, downgrading, end-to-end, information flow controls, integrity, lattice, policies, principals, roles, type checking},
}

@article{Zdancewic:2002:SPP:566340.566343,
 author = {Zdancewic, Steve and Zheng, Lantian and Nystrom, Nathaniel and Myers, Andrew C.},
title = {{Secure Program Partitioning}},
 journal = {ACM Transactions on Computer Systems},
 issue_date = {August 2002},
 volume = {20},
 number = {3},
 month = aug,
 year = {2002},
 issn = {0734-2071},
 pages = {283--328},
 numpages = {46},
 url = {http://doi.acm.org/10.1145/566340.566343},
 doi = {10.1145/566340.566343},
 acmid = {566343},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Confidentiality, declassification, distributed systems, downgrading, integrity, mutual distrust, secrecy, security policies, type systems},
}

@inproceedings{Chong:2007:SEC:1362903.1362904,
 author = {Chong, Stephen and Vikram, K. and Myers, Andrew C.},
title = {{SIF: Enforcing Confidentiality and Integrity in Web Applications}},
 booktitle = {Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium},
 series = {SS '07},
 year = {2007},
 location = {Boston, MA},
 pages = {1:1--1:16},
 articleno = {1},
 numpages = {16},
 url = {http://dl.acm.org/citation.cfm?id=1362903.1362904},
 acmid = {1362904},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
}