Quoc-Sang Phan, Pasquale Malacaria. Abstract model counting: a novel approach for quantification of information leaks. In Shiho Moriai, Trent Jaeger, Kouichi Sakurai, editors, 9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014. pages 283-292, ACM, 2014. [doi]
@inproceedings{PhanM14,
title = {Abstract model counting: a novel approach for quantification of information leaks},
author = {Quoc-Sang Phan and Pasquale Malacaria},
year = {2014},
doi = {10.1145/2590296.2590328},
url = {http://doi.acm.org/10.1145/2590296.2590328},
researchr = {https://researchr.org/publication/PhanM14},
cites = {0},
citedby = {0},
pages = {283-292},
booktitle = {9th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '14, Kyoto, Japan - June 03 - 06, 2014},
editor = {Shiho Moriai and Trent Jaeger and Kouichi Sakurai},
publisher = {ACM},
isbn = {978-1-4503-2800-5},
}