Publication [LiuWZ22] Verifying Pufferfish Privacy in Hidden Markov Models Liu, D.; Wang, B.-Y. and Zhang, L. In VMCAI, pages 174-196, Springer, Lecture Notes in Computer Science 13182, 2022.Downloads: bibURL: https://doi.org/10.1007/978-3-030-94583-1_9