Static Evaluation of Noninterference Using Approximate Model Counting.

Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang

Browse the full SP paper archive.