COVERN: A Logic for Compositional Verification of Information Flow Control - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Toby C. Murray, Robert Sison, Kai Engelhardt. COVERN: A Logic for Compositional Verification of Information Flow Control. In 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018. pages 16-30, IEEE, 2018. [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 'Kai Engelhardt' in Google

runs on WebDSL