Search dblp for Publications

export results for "toc:db/conf/pldi/plas2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pldi/FraserPA06,
  author       = {Timothy Fraser and
                  Nick L. Petroni Jr. and
                  William A. Arbaugh},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Applying flow-sensitive {CQUAL} to verify {MINIX} authorization check
                  placement},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {3--6},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134747},
  doi          = {10.1145/1134744.1134747},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/FraserPA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/HamlenMS06,
  author       = {Kevin W. Hamlen and
                  Greg Morrisett and
                  Fred B. Schneider},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Certified In-lined Reference Monitoring on .NET},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {7--16},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134748},
  doi          = {10.1145/1134744.1134748},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/HamlenMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/HicksKMH06,
  author       = {Boniface Hicks and
                  Dave King and
                  Patrick D. McDaniel and
                  Michael Hicks},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Trusted declassification: : high-level policy for a security-typed
                  language},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {65--74},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134757},
  doi          = {10.1145/1134744.1134757},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/HicksKMH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/HristovaRLS06,
  author       = {Katia Hristova and
                  Tom Rothamel and
                  Yanhong A. Liu and
                  Scott D. Stoller},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Efficient type inference for secure information flow},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {85--94},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134759},
  doi          = {10.1145/1134744.1134759},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/HristovaRLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/JovanovicKK06,
  author       = {Nenad Jovanovic and
                  Christopher Kruegel and
                  Engin Kirda},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Precise alias analysis for static detection of web application vulnerabilities},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {27--36},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134751},
  doi          = {10.1145/1134744.1134751},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/JovanovicKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LiuT06,
  author       = {Michael Yanguo Liu and
                  Issa Traor{\'{e}}},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Empirical relation between coupling and attackability in software
                  systems: : a case study on {DOS}},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {57--64},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134756},
  doi          = {10.1145/1134744.1134756},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/LiuT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LuS06,
  author       = {Xiaoqi Lu and
                  Scott F. Smith},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {A microkernel virtual machine: : building security with clear interfaces},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {47--56},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134754},
  doi          = {10.1145/1134744.1134754},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/LuS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/PolakowS06,
  author       = {Jeff Polakow and
                  Christian Skalka},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Specifying distributed trust management in LolliMon},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134753},
  doi          = {10.1145/1134744.1134753},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/PolakowS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/SmithT06,
  author       = {Scott F. Smith and
                  Mark Thober},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Refactoring programs to secure information flows},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {75--84},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134758},
  doi          = {10.1145/1134744.1134758},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/SmithT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/UnnoKY06,
  author       = {Hiroshi Unno and
                  Naoki Kobayashi and
                  Akinori Yonezawa},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Combining type-based analysis and model checking for finding counterexamples
                  against non-interference},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {17--26},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134750},
  doi          = {10.1145/1134744.1134750},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/UnnoKY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/Wagner06,
  author       = {David A. Wagner},
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Object capabilities for security},
  booktitle    = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134744.1134745},
  doi          = {10.1145/1134744.1134745},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/Wagner06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2006plas,
  editor       = {Vugranam C. Sreedhar and
                  Steve Zdancewic},
  title        = {Proceedings of the 2006 Workshop on Programming Languages and Analysis
                  for Security, {PLAS} 2006, Ottawa, Ontario, Canada, June 10, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  isbn         = {1-59593-374-3},
  timestamp    = {Fri, 04 Apr 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2006plas.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.