Verifying Pufferfish Privacy in Hidden Markov Models
- 14 January 2022
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Understanding the sparse vector technique for differential privacyProceedings of the VLDB Endowment, 2017
- Proving Differential Privacy via Probabilistic CouplingsPublished by Association for Computing Machinery (ACM) ,2016
- PufferfishACM Transactions on Database Systems, 2014
- Probabilistic relational reasoning for differential privacyACM SIGPLAN Notices, 2012
- Universally Utility-maximizing Privacy MechanismsSIAM Journal on Computing, 2012
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Differential PrivacyLecture Notes in Computer Science, 2006
- REDLOGACM SIGSAM Bulletin, 1997
- A tutorial on hidden Markov models and selected applications in speech recognitionProceedings of the IEEE, 1989
- The Complexity of Markov Decision ProcessesMathematics of Operations Research, 1987