Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351)
From MaRDI portal
scientific article; zbMATH DE number 6603846
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) |
scientific article; zbMATH DE number 6603846 |
Statements
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (English)
0 references
15 July 2016
0 references
differential privacy
0 references
verification
0 references
formal methods
0 references
privacy
0 references
bisimulation
0 references