{"id":"https://openalex.org/W3007181573","doi":"https://doi.org/10.1109/access.2020.2974487","title":"A Design and Verification Methodology for a TrustZone Trusted Execution Environment","display_name":"A Design and Verification Methodology for a TrustZone Trusted Execution Environment","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3007181573","doi":"https://doi.org/10.1109/access.2020.2974487","mag":"3007181573"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2974487","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09000841.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09000841.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007039110","display_name":"Haiyong Sun","orcid":"https://orcid.org/0000-0001-7928-7654"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiyong Sun","raw_affiliation_strings":["School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101865118","display_name":"Hang Lei","orcid":"https://orcid.org/0000-0001-7736-2251"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hang Lei","raw_affiliation_strings":["School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850,"provenance":"doaj"},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850,"provenance":"doaj"},"fwci":0.833,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":9,"citation_normalized_percentile":{"value":0.999972,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":"8","issue":null,"first_page":"33870","last_page":"33883"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9999,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9999,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9898,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9742,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/interface","display_name":"Interface (matter)","score":0.43202126},{"id":"https://openalex.org/keywords/direct-anonymous-attestation","display_name":"Direct Anonymous Attestation","score":0.43041575},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability","score":0.42674804},{"id":"https://openalex.org/keywords/trusted-computing-base","display_name":"Trusted computing base","score":0.41515702}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8576027},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5021572},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.43202126},{"id":"https://openalex.org/C169796023","wikidata":"https://www.wikidata.org/wiki/Q3708936","display_name":"Direct Anonymous Attestation","level":3,"score":0.43041575},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.42674804},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4256866},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.42481834},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.42395893},{"id":"https://openalex.org/C147346212","wikidata":"https://www.wikidata.org/wiki/Q5492632","display_name":"Trusted computing base","level":4,"score":0.41515702},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37989342},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33553922},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.1694574},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.12700704},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2974487","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09000841.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://doaj.org/article/dbab0fb33089493295812dfd0a074c5a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2974487","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09000841.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.58,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":36,"referenced_works":["https://openalex.org/W1800631871","https://openalex.org/W1819958245","https://openalex.org/W1891007682","https://openalex.org/W1896845045","https://openalex.org/W1963436944","https://openalex.org/W1967182706","https://openalex.org/W1967338579","https://openalex.org/W1975091280","https://openalex.org/W1977764760","https://openalex.org/W1990440312","https://openalex.org/W2014517322","https://openalex.org/W2019193016","https://openalex.org/W2023035194","https://openalex.org/W2080914957","https://openalex.org/W2095770127","https://openalex.org/W2103672915","https://openalex.org/W2122049982","https://openalex.org/W2128932642","https://openalex.org/W2129278597","https://openalex.org/W2136296832","https://openalex.org/W2136310957","https://openalex.org/W2137628566","https://openalex.org/W2150174204","https://openalex.org/W2163347957","https://openalex.org/W2166004296","https://openalex.org/W2415236938","https://openalex.org/W2484015479","https://openalex.org/W2605883969","https://openalex.org/W2792757320","https://openalex.org/W2898543817","https://openalex.org/W2898893133","https://openalex.org/W2974073952","https://openalex.org/W3020139696","https://openalex.org/W3104862556","https://openalex.org/W4237990977","https://openalex.org/W564852913"],"related_works":["https://openalex.org/W2401283869","https://openalex.org/W2387129584","https://openalex.org/W2382159354","https://openalex.org/W2377235694","https://openalex.org/W2358352283","https://openalex.org/W2356797718","https://openalex.org/W2116177289","https://openalex.org/W2051856262","https://openalex.org/W2025014554","https://openalex.org/W143066512"],"abstract_inverted_index":{"Hardware":[0],"support":[1],"for":[2,73,189],"isolated":[3],"execution":[4,14,32],"(e.g.,":[5,192],"ARM":[6],"TrustZone)":[7],"enables":[8,81],"the":[9,19,22,60,118,123,132,141,145,164,201],"development":[10],"of":[11,21,47,62,83,90,131,163],"a":[12,29,50,54,71,75,78,92,103,112,148,161,178],"trusted":[13,48,51,93],"environment":[15,33],"(TEE)":[16],"that":[17,80,116,137,170,182,200],"ensures":[18],"security":[20,40,61,66,85,187],"code":[23],"and":[24,44,53,95,106,108,120,152,194],"data":[25],"while":[26],"communicating":[27],"with":[28,99,111,144],"compromised":[30],"rich":[31],"(REE).":[34],"The":[35],"ability":[36],"to":[37,97,135,168,204],"satisfy":[38],"various":[39],"services":[41],"is":[42],"complicated":[43],"usually":[45],"consists":[46,89],"applications,":[49],"kernel":[52,96],"secure":[55,114,133,165],"monitor.":[56],"However,":[57],"formally":[58],"verifying":[59],"an":[63,100,185],"entire":[64],"TEE":[65,76,206],"remains":[67],"challenging.":[68],"We":[69,127,158,176],"present":[70,177],"methodology":[72,88,202],"designing":[74],"in":[77],"way":[79],"verification":[82,130,162,180],"its":[84],"properties.":[86],"Our":[87,197],"forcing":[91],"application":[94],"communicate":[98],"REE":[101,146],"via":[102],"narrow":[104],"interface":[105,119],"compile":[107],"link":[109],"them":[110],"small":[113],"monitor":[115,134],"implements":[117],"runs":[121],"at":[122,147],"highest":[124],"privilege":[125],"level.":[126],"provide":[128],"functional":[129],"ensure":[136,169],"it":[138,171],"correctly":[139],"switches":[140],"TEE/REE,":[142],"communicates":[143],"pre-defined":[149],"memory":[150],"space":[151],"has":[153],"no":[154],"integer":[155],"overflow":[156],"vulnerability.":[157],"also":[159],"perform":[160],"monitor's":[166],"scheduler":[167],"satisfies":[172],"information":[173],"flow":[174],"noninterference.":[175],"modular":[179],"framework":[181],"can":[183],"prove":[184],"end-to-end":[186],"property":[188],"cross-language":[190],"programmes":[191],"C":[193],"assembly":[195],"languages).":[196],"evaluation":[198],"suggests":[199],"scales":[203],"real-world":[205],"applications.":[207]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3007181573","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-01-04T01:08:37.183534","created_date":"2020-03-06"}