Marcus Völp. Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain. pages 268-275, IEEE Computer Society, 2008. [doi]
@inproceedings{Volp08, title = {Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels}, author = {Marcus Völp}, year = {2008}, doi = {10.1109/ARES.2008.56}, url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.56}, researchr = {https://researchr.org/publication/Volp08}, cites = {0}, citedby = {0}, pages = {268-275}, booktitle = {Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain}, publisher = {IEEE Computer Society}, }