Obtaining information leakage bounds via approximate model counting
Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
7(PLDI)
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): information flow, model counting, security
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): information flow, model counting, security