%0 Conference Paper %1 conf/forte/WangNRZ24 %A Wang, Weili %A Niu, Jianyu %A Reiter, Michael K. %A Zhang, Yinqian %B FORTE %D 2024 %E Castiglioni, Valentina %E Francalanza, Adrian %I Springer %K dblp %P 155-173 %T Formally Verifying a Rollback-Prevention Protocol for TEEs. %U http://dblp.uni-trier.de/db/conf/forte/forte2024.html#WangNRZ24 %V 14678 %@ 978-3-031-62645-6

@inproceedings{conf/forte/WangNRZ24, added-at = {2024-06-19T00:00:00.000+0200}, author = {Wang, Weili and Niu, Jianyu and Reiter, Michael K. and Zhang, Yinqian}, biburl = {https://www.bibsonomy.org/bibtex/2da30815a09348a1d569c9ba37dbea6ea/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2024}, editor = {Castiglioni, Valentina and Francalanza, Adrian}, ee = {https://doi.org/10.1007/978-3-031-62645-6_9}, interhash = {60ba3c84c04ee5be6d707051f002944a}, intrahash = {da30815a09348a1d569c9ba37dbea6ea}, isbn = {978-3-031-62645-6}, keywords = {dblp}, pages = {155-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-24T07:24:00.000+0200}, title = {Formally Verifying a Rollback-Prevention Protocol for TEEs.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2024.html#WangNRZ24}, volume = 14678, year = 2024 }