Formally Verifying a Rollback-Prevention Protocol for TEEs.

Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang

Browse the full FORTE paper archive.