Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah. Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. In IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016. pages 417-431, IEEE, 2016. [doi]

This author has not been identified. Look up 'Toby C. Murray' in GoogleThis author has not been identified. Look up 'Robert Sison' in GoogleThis author has not been identified. Look up 'Edward Pierzchalski' in GoogleThis author has not been identified. Look up 'Christine Rizkallah' in Google

runs on WebDSL