Login / Signup
Fangyuan Yuan
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Proof
Model Checker
Peer To Peer Networks
Client Server Architecture
Top Venues
ISCC
</>
Publications
</>
Shuai Su
,
Fangyuan Yuan
,
Yulin Yuan
,
Li Zeng
,
Chi Chen
VoFSQ: An Efficient File-Sharing Interactive Verification Protocol.
ISCC
(2021)