Weili Wang

Affiliations:

According to our database¹, Weili Wang authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formally Verifying a Rollback-Prevention Protocol for TEEs.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2022

ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes.

[BibT_eX]

[DOI]

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022