Weili Wang

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Coloured Petri Nets

Formal Analysis

Top Venues

Publications

Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
Formally Verifying a Rollback-Prevention Protocol for TEEs. FORTE (2024)
Weili Wang, Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang
ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. CCS (2022)