Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.
Samuel JudsonNing LuoTimos AntonopoulosRuzica PiskacPublished in: WPES@CCS (2020)
Keyphrases
- model checking
- privacy preserving
- temporal logic
- temporal properties
- computation tree logic
- deterministic finite automaton
- model checker
- privacy preserving data mining
- formal specification
- formal verification
- graph theory
- bounded model checking
- verification method
- privacy preservation
- privacy guarantees
- linear temporal logic
- automated verification
- privacy concerns
- transition systems
- alternating time temporal logic
- horizontally partitioned data
- symbolic model checking
- epistemic logic
- formal methods
- satisfiability problem
- modal logic
- data privacy
- vertically partitioned data
- data structure
- data mining