Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcus Völp' in Google

runs on WebDSL