VoFSQ: An Efficient File-Sharing Interactive Verification Protocol.
Shuai SuFangyuan YuanYulin YuanLi ZengChi ChenPublished in: ISCC (2021)
Keyphrases
- file sharing
- peer to peer
- cryptographic protocols
- peer to peer networks
- protocol specification
- lightweight
- model checking
- formal proof
- formal analysis
- user interaction
- client server architecture
- computer graphics
- face verification
- internet traffic
- virtual reality
- signature verification
- model checker
- database systems
- distributed environment
- formal methods
- electronic commerce