%0 Conference Paper %1 conf/pldi/HicksKMH06 %A Hicks, Boniface %A King, Dave %A McDaniel, Patrick D. %A Hicks, Michael %B PLAS %D 2006 %E Sreedhar, Vugranam C. %E Zdancewic, Steve %I ACM %K dblp %P 65-74 %T Trusted declassification: : high-level policy for a security-typed language. %U http://dblp.uni-trier.de/db/conf/pldi/plas2006.html#HicksKMH06 %@ 1-59593-374-3

@inproceedings{conf/pldi/HicksKMH06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hicks, Boniface and King, Dave and McDaniel, Patrick D. and Hicks, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2f85832b189b7587696e00d34519ab898/dblp}, booktitle = {PLAS}, crossref = {conf/pldi/2006plas}, editor = {Sreedhar, Vugranam C. and Zdancewic, Steve}, ee = {https://doi.org/10.1145/1134744.1134757}, interhash = {0509e1b83893146d6db5089b6302316f}, intrahash = {f85832b189b7587696e00d34519ab898}, isbn = {1-59593-374-3}, keywords = {dblp}, pages = {65-74}, publisher = {ACM}, timestamp = {2018-11-07T15:26:53.000+0100}, title = {Trusted declassification: : high-level policy for a security-typed language.}, url = {http://dblp.uni-trier.de/db/conf/pldi/plas2006.html#HicksKMH06}, year = 2006 }