Verification of Multi-Party Ping-Pong Protocols via Program Transformation.
Antonina NepeivodaPublished in: VPT@CAV (2014)
Keyphrases
- multi party
- ping pong
- privacy preserving
- privacy preserving distributed data mining
- symbolic execution
- fair exchange protocols
- static analysis
- description language
- human communication
- hardware designs
- model checking
- virtual humans
- formal verification
- privacy preserving data mining
- audio video
- cryptographic protocols
- case study
- open source
- cooperative