Details for the publication LiuWZ22.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang: Verifying Pufferfish Privacy in Hidden Markov Models. In Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, volume 13182 of Lecture Notes in Computer Science, pages 174-196, 2022. DOI BIB