Static Evaluation of Noninterference Using Approximate Model Counting

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.