Paper accepted at VMCAI’22 We are glad that our paper about verifying pupperfish privacy in hidden Markov models has been accepted at VMCAI’22.