%0 Journal Article %1 journals/pacmpl/SahaGLBB23 %A Saha, Seemanta %A Ghentiyala, Surendra %A Lu, Shihua %A Bang, Lucas %A Bultan, Tevfik %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 1488-1509 %T Obtaining Information Leakage Bounds via Approximate Model Counting. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#SahaGLBB23 %V 7

@article{journals/pacmpl/SahaGLBB23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Saha, Seemanta and Ghentiyala, Surendra and Lu, Shihua and Bang, Lucas and Bultan, Tevfik}, biburl = {https://www.bibsonomy.org/bibtex/2f09de9ca2ed38fd5fb64172cc82a9003/dblp}, ee = {https://doi.org/10.1145/3591281}, interhash = {db30af7825fe4ed8c675adc6438efc79}, intrahash = {f09de9ca2ed38fd5fb64172cc82a9003}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {1488-1509}, timestamp = {2024-04-08T09:54:58.000+0200}, title = {Obtaining Information Leakage Bounds via Approximate Model Counting.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#SahaGLBB23}, volume = 7, year = 2023 }