{"id":"https://openalex.org/W4399592257","doi":"https://doi.org/10.1007/978-3-031-62645-6_9","title":"Formally Verifying a\u00a0Rollback-Prevention Protocol for\u00a0TEEs","display_name":"Formally Verifying a\u00a0Rollback-Prevention Protocol for\u00a0TEEs","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4399592257","doi":"https://doi.org/10.1007/978-3-031-62645-6_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-62645-6_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-62645-6_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-62645-6_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-62645-6_9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100704010","display_name":"Weili Wang","orcid":"https://orcid.org/0000-0001-5115-7196"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]},{"id":"https://openalex.org/I4210140549","display_name":"Skyworth (China)","ror":"https://ror.org/03wb8cw02","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210140549"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Weili Wang","raw_affiliation_strings":["Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]},{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)","institution_ids":["https://openalex.org/I4210140549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081705982","display_name":"Jianyu Niu","orcid":"https://orcid.org/0000-0001-5253-941X"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]},{"id":"https://openalex.org/I4210140549","display_name":"Skyworth (China)","ror":"https://ror.org/03wb8cw02","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210140549"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianyu Niu","raw_affiliation_strings":["Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]},{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)","institution_ids":["https://openalex.org/I4210140549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074117167","display_name":"Michael K. Reiter","orcid":"https://orcid.org/0000-0001-7007-8274"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael K. Reiter","raw_affiliation_strings":["Duke University, Durham, NC, USA","Duke University [Durham] (Durham, NC 27708 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"Duke University [Durham] (Durham, NC 27708 - United States)","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070946957","display_name":"Yinqian Zhang","orcid":"https://orcid.org/0000-0002-7585-1075"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]},{"id":"https://openalex.org/I4210140549","display_name":"Skyworth (China)","ror":"https://ror.org/03wb8cw02","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210140549"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinqian Zhang","raw_affiliation_strings":["Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering, Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]},{"raw_affiliation_string":"Research Institute of Trustworthy Autonomous Systems and Department of Computer Science and Engineering [Shenzhen] (China)","institution_ids":["https://openalex.org/I4210140549"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100704010"],"corresponding_institution_ids":["https://openalex.org/I3045169105","https://openalex.org/I4210140549"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.0931,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.92253968,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"173"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rollback","display_name":"Rollback","score":0.8862115144729614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8641296625137329},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6866487264633179},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2634119391441345},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.1391160786151886},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0635576844215393}],"concepts":[{"id":"https://openalex.org/C174220543","wikidata":"https://www.wikidata.org/wiki/Q395307","display_name":"Rollback","level":3,"score":0.8862115144729614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8641296625137329},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6866487264633179},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2634119391441345},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.1391160786151886},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0635576844215393},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-62645-6_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-62645-6_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-62645-6_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04966810v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04966810","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2024, Groningen, Netherlands. pp.155-173, ⟨10.1007/978-3-031-62645-6_9⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-62645-6_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-62645-6_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-62645-6_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5445142300","display_name":null,"funder_award_id":"2021-67021-34252","funder_id":"https://openalex.org/F4320332299","funder_display_name":"National Institute of Food and Agriculture"},{"id":"https://openalex.org/G5620962805","display_name":null,"funder_award_id":"67021","funder_id":"https://openalex.org/F4320332299","funder_display_name":"National Institute of Food and Agriculture"},{"id":"https://openalex.org/G7052049643","display_name":null,"funder_award_id":"62302204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320332299","display_name":"National Institute of Food and Agriculture","ror":"https://ror.org/05qx3fv49"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399592257.pdf","grobid_xml":"https://content.openalex.org/works/W4399592257.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W87932605","https://openalex.org/W2028113097","https://openalex.org/W2049913483","https://openalex.org/W2091776255","https://openalex.org/W2125047630","https://openalex.org/W2130427425","https://openalex.org/W2167814583","https://openalex.org/W2292447407","https://openalex.org/W2296772897","https://openalex.org/W2410019603","https://openalex.org/W2413344125","https://openalex.org/W2522207775","https://openalex.org/W2776248742","https://openalex.org/W2808604898","https://openalex.org/W2898758704","https://openalex.org/W2945417309","https://openalex.org/W2963870476","https://openalex.org/W3172044556","https://openalex.org/W3202858814","https://openalex.org/W4308642181","https://openalex.org/W4308642193","https://openalex.org/W4324007146","https://openalex.org/W4387674215","https://openalex.org/W4393184585","https://openalex.org/W6743706254"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2075454349","https://openalex.org/W2145855242","https://openalex.org/W2010356481","https://openalex.org/W2016184125","https://openalex.org/W4236084769","https://openalex.org/W2621536082","https://openalex.org/W2152640076","https://openalex.org/W4313728343"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}