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]
Abstract is missing.