@inproceedings{ChongR03,
  title = {Static Analysis of Accessed Regions in Recursive Data Structures},
  author = {Stephen Chong and Radu Rugina},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2694/26940463.htm},
  tags = {analysis, static analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/ChongR03},
  cites = {0},
  citedby = {0},
  pages = {463-482},
  booktitle = {SAS},
}

@inproceedings{Chong10,
  title = {Required Information Release},
  author = {Stephen Chong},
  year = {2010},
  doi = {10.1109/CSF.2010.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2010.22},
  researchr = {https://researchr.org/publication/Chong10},
  cites = {0},
  citedby = {0},
  pages = {215-227},
  booktitle = {csfw},
}

@inproceedings{CheneyCFSV09,
  title = {Provenance: a future history},
  author = {James Cheney and Stephen Chong and J. Nathan Foster and Margo I. Seltzer and Stijn Vansummeren},
  year = {2009},
  doi = {10.1145/1639950.1640064},
  url = {http://doi.acm.org/10.1145/1639950.1640064},
  tags = {history},
  researchr = {https://researchr.org/publication/CheneyCFSV09},
  cites = {0},
  citedby = {0},
  pages = {957-964},
  booktitle = {OOPSLA},
}

@inproceedings{ChongM06,
  title = {Decentralized Robustness},
  author = {Stephen Chong and Andrew C. Myers},
  year = {2006},
  doi = {10.1109/CSFW.2006.11},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.11},
  tags = {C++},
  researchr = {https://researchr.org/publication/ChongM06},
  cites = {0},
  citedby = {0},
  pages = {242-256},
  booktitle = {csfw},
}

@inproceedings{ZhengCMZ03,
  title = {Using Replication and Partitioning to Build Secure Distributed Systems},
  author = {Lantian Zheng and Stephen Chong and Andrew C. Myers and Steve Zdancewic},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/sp/2003/1940/00/19400236abs.htm},
  tags = {C++, partitioning},
  researchr = {https://researchr.org/publication/ZhengCMZ03},
  cites = {0},
  citedby = {0},
  pages = {236-250},
  booktitle = {sp},
}

@article{ChongLMQVZZ09,
  title = {Building secure web applications with automatic partitioning},
  author = {Stephen Chong and Jed Liu and Andrew C. Myers and Xin Qi and K. Vikram and Lantian Zheng and Xin Zheng},
  year = {2009},
  doi = {10.1145/1461928.1461949},
  url = {http://doi.acm.org/10.1145/1461928.1461949},
  tags = {program partitioning, JavaScript, secure by construction, Java, code partitioning, functional programming, Swift, data-flow programming, data-flow, C++, security, compiler, web applications, partitioning, systematic-approach},
  researchr = {https://researchr.org/publication/ChongLMQVZZ09},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {52},
  number = {2},
  pages = {79-87},
}

@inproceedings{ChenC04:10,
  title = {Owned Policies for Information Security},
  author = {Hubie Chen and Stephen Chong},
  year = {2004},
  doi = {10.1109/CSFW.2004.15},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.15},
  tags = {security},
  researchr = {https://researchr.org/publication/ChenC04%3A10},
  cites = {0},
  citedby = {0},
  pages = {126-138},
  booktitle = {csfw},
}

@inproceedings{ChongM04,
  title = {Security policies for downgrading},
  author = {Stephen Chong and Andrew C. Myers},
  year = {2004},
  doi = {10.1145/1030083.1030110},
  url = {http://doi.acm.org/10.1145/1030083.1030110},
  tags = {control systems, data-flow language, type system, data-flow, C++, security, security policies},
  researchr = {https://researchr.org/publication/ChongM04},
  cites = {0},
  citedby = {0},
  pages = {198-209},
  booktitle = {ccs},
}

@inproceedings{NystromCM04,
  title = {Scalable extensibility via nested inheritance},
  author = {Nathaniel Nystrom and Stephen Chong and Andrew C. Myers},
  year = {2004},
  doi = {10.1145/1028976.1028986},
  url = {http://doi.acm.org/10.1145/1028976.1028986},
  tags = {C++},
  researchr = {https://researchr.org/publication/NystromCM04},
  cites = {0},
  citedby = {0},
  pages = {99-115},
  booktitle = {OOPSLA},
}

@inproceedings{ClarksonCM08,
  title = {Civitas: Toward a Secure Voting System},
  author = {Michael R. Clarkson and Stephen Chong and Andrew C. Myers},
  year = {2008},
  doi = {10.1109/SP.2008.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/SP.2008.32},
  tags = {C++},
  researchr = {https://researchr.org/publication/ClarksonCM08},
  cites = {0},
  citedby = {0},
  pages = {354-368},
  booktitle = {sp},
}

@inproceedings{Chong09,
  title = {Towards Semantics for Provenance Security},
  author = {Stephen Chong},
  year = {2009},
  url = {http://www.usenix.org/events/tapp09/tech/full_papers/chong/chong.pdf},
  tags = {semantics, security},
  researchr = {https://researchr.org/publication/Chong09},
  cites = {0},
  citedby = {0},
  booktitle = {FAST},
}

@inproceedings{ClarksonCM07,
  title = {Civitas: A Secure Remote Voting System},
  author = {Michael E. Clarkson and Stephen Chong and Andrew C. Myers},
  year = {2007},
  url = {http://drops.dagstuhl.de/opus/volltexte/2008/1296},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/ClarksonCM07},
  cites = {0},
  citedby = {0},
  booktitle = {Dagstuhl},
}

@inproceedings{ChongM09-0,
  title = {Deriving epistemic conclusions from agent architecture},
  author = {Stephen Chong and Ron van der Meyden},
  year = {2009},
  doi = {10.1145/1562814.1562826},
  url = {http://doi.acm.org/10.1145/1562814.1562826},
  tags = {architecture},
  researchr = {https://researchr.org/publication/ChongM09-0},
  cites = {0},
  citedby = {0},
  pages = {61-70},
  booktitle = {tark},
}

@inproceedings{ChongM08,
  title = {End-to-End Enforcement of Erasure and Declassification},
  author = {Stephen Chong and Andrew C. Myers},
  year = {2008},
  doi = {10.1109/CSF.2008.12},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2008.12},
  tags = {C++},
  researchr = {https://researchr.org/publication/ChongM08},
  cites = {0},
  citedby = {0},
  pages = {98-111},
  booktitle = {csfw},
}

@article{PucellaC03,
  title = {Review of type-logical semantics},
  author = {Riccardo Pucella and Stephen Chong},
  year = {2003},
  doi = {10.1145/637437.637442},
  url = {http://doi.acm.org/10.1145/637437.637442},
  tags = {semantics, reviewing},
  researchr = {https://researchr.org/publication/PucellaC03},
  cites = {0},
  citedby = {0},
  journal = {sigact},
  volume = {34},
  number = {1},
  pages = {6-17},
}

@inproceedings{ONeillCC06,
  title = {Information-Flow Security for Interactive Programs},
  author = {Kevin R. O Neill and Michael R. Clarkson and Stephen Chong},
  year = {2006},
  doi = {10.1109/CSFW.2006.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.16},
  tags = {data-flow programming, data-flow, security},
  researchr = {https://researchr.org/publication/ONeillCC06},
  cites = {0},
  citedby = {0},
  pages = {190-201},
  booktitle = {csfw},
}

@inproceedings{ChongM05,
  title = {Language-Based Information Erasure},
  author = {Stephen Chong and Andrew C. Myers},
  year = {2005},
  doi = {10.1109/CSFW.2005.19},
  url = {http://dx.doi.org/10.1109/CSFW.2005.19},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/ChongM05},
  cites = {0},
  citedby = {0},
  pages = {241-254},
  booktitle = {csfw},
}

@inproceedings{ChongSV10,
  title = {Self-identifying sensor data},
  author = {Stephen Chong and Christian Skalka and Jeffrey A. Vaughan},
  year = {2010},
  doi = {10.1145/1791212.1791223},
  url = {http://doi.acm.org/10.1145/1791212.1791223},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/ChongSV10},
  cites = {0},
  citedby = {0},
  pages = {82-93},
  booktitle = {ipsn},
}

@inproceedings{ChongLMQVZZ07,
  title = {Secure web application via automatic partitioning},
  author = {Stephen Chong and Jed Liu and Andrew C. Myers and Xin Qi and K. Vikram and Lantian Zheng and Xin Zheng},
  year = {2007},
  doi = {10.1145/1294261.1294265},
  url = {http://doi.acm.org/10.1145/1294261.1294265},
  tags = {program partitioning, JavaScript, Java, functional programming, data-flow programming, data-flow, C++, security, compiler, web applications, partitioning, systematic-approach},
  researchr = {https://researchr.org/publication/ChongLMQVZZ07},
  cites = {33},
  citedby = {0},
  pages = {31-44},
  booktitle = {sosp},
}
@proceedings{pldi-2009plas,
  title = {Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009},
  year = {2009},
  tags = {programming languages, program analysis, analysis, security, programming},
  researchr = {https://researchr.org/publication/pldi-2009plas},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009},
  conference = {PLDI},
  editor = {Stephen Chong and David A. Naumann},
  publisher = {ACM},
  isbn = {978-1-60558-645-8},
}