[PLDI'23] Obtaining Information Leakage Bounds via Approximate Model Counting | ACM SIGPLAN | Podwise