Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

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

Admin area

  • Log in
Proudly powered by WordPress