Static Evaluation of Noninterference Using Approximate Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang. Static Evaluation of Noninterference Using Approximate Model Counting. In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. pages 514-528, IEEE, 2018. [doi]

This author has not been identified. Look up 'Ziqiao Zhou' in GoogleThis author has not been identified. Look up 'Zhiyun Qian' in GoogleThis author has not been identified. Look up 'Michael K. Reiter' in GoogleThis author has not been identified. Look up 'Yinqian Zhang' in Google

runs on WebDSL