{"id":"https://openalex.org/W4401567641","doi":"https://doi.org/10.1109/access.2024.3443509","title":"A Hardware-Based Correct Execution Environment Supporting Virtual Memory","display_name":"A Hardware-Based Correct Execution Environment Supporting Virtual Memory","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4401567641","doi":"https://doi.org/10.1109/access.2024.3443509"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3443509","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3443509","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dx.doi.org/10.1109/access.2024.3443509","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053633774","display_name":"Daehyeon Lee","orcid":"https://orcid.org/0009-0004-9351-842X"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Daehyeon Lee","raw_affiliation_strings":["School of Cybersecurity, Korea University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114208109","display_name":"Ohsuk Shin","orcid":null},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Ohsuk Shin","raw_affiliation_strings":["School of Cybersecurity, Korea University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106504924","display_name":"Yeonghyeon Cha","orcid":null},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yeonghyeon Cha","raw_affiliation_strings":["School of Cybersecurity, Korea University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100435070","display_name":"Jung\u00adhee Lee","orcid":"https://orcid.org/0000-0003-0733-0136"},"institutions":[{"id":"https://openalex.org/I197347611","display_name":"Korea University","ror":"https://ror.org/047dqcg40","country_code":"KR","type":"education","lineage":["https://openalex.org/I197347611"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Junghee Lee","raw_affiliation_strings":["School of Cybersecurity, Korea University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"School of Cybersecurity, Korea University, Seoul, South Korea","institution_ids":["https://openalex.org/I197347611"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106516603","display_name":"Taisic Yun","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Taisic Yun","raw_affiliation_strings":["Graduate School of Information Security, Korea Advanced Institute of Science and Technology, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Security, Korea Advanced Institute of Science and Technology, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100385015","display_name":"Jihye Kim","orcid":"https://orcid.org/0000-0003-2953-7883"},"institutions":[{"id":"https://openalex.org/I110273157","display_name":"Kookmin University","ror":"https://ror.org/0049erg63","country_code":"KR","type":"education","lineage":["https://openalex.org/I110273157"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jihye Kim","raw_affiliation_strings":["Electronics and Information System Engineering Major, Kookmin University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"Electronics and Information System Engineering Major, Kookmin University, Seoul, South Korea","institution_ids":["https://openalex.org/I110273157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028863978","display_name":"Hyunok Oh","orcid":"https://orcid.org/0000-0002-9044-7441"},"institutions":[{"id":"https://openalex.org/I4575257","display_name":"Hanyang University","ror":"https://ror.org/046865y68","country_code":"KR","type":"education","lineage":["https://openalex.org/I4575257"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hyunok Oh","raw_affiliation_strings":["Department of Information System, Hanyang University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"Department of Information System, Hanyang University, Seoul, South Korea","institution_ids":["https://openalex.org/I4575257"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035714231","display_name":"Chrysostomos Nicopoulos","orcid":"https://orcid.org/0000-0001-6389-6068"},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"Chrysostomos Nicopoulos","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus","institution_ids":["https://openalex.org/I34771391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101664628","display_name":"Sang Su Lee","orcid":"https://orcid.org/0000-0001-9076-3850"},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sang Su Lee","raw_affiliation_strings":["Cyber Security Research Division, ETRI, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"Cyber Security Research Division, ETRI, Daejeon, South Korea","institution_ids":["https://openalex.org/I142401562"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5053633774"],"corresponding_institution_ids":["https://openalex.org/I197347611"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12118559,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"114008","last_page":"114022"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8345082402229309},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.5142614245414734},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.49559080600738525},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.484939843416214},{"id":"https://openalex.org/keywords/virtual-memory","display_name":"Virtual memory","score":0.448964387178421},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.44502872228622437},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.44111478328704834},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.4198804795742035},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.39632028341293335},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36481955647468567},{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.25589659810066223}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8345082402229309},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.5142614245414734},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.49559080600738525},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.484939843416214},{"id":"https://openalex.org/C76399640","wikidata":"https://www.wikidata.org/wiki/Q189401","display_name":"Virtual memory","level":4,"score":0.448964387178421},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.44502872228622437},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.44111478328704834},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.4198804795742035},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.39632028341293335},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36481955647468567},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.25589659810066223}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3443509","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3443509","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:ee22185e8d294536b71fab5fdbe5423e","is_oa":true,"landing_page_url":"https://doaj.org/article/ee22185e8d294536b71fab5fdbe5423e","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 114008-114022 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3443509","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1109/access.2024.3443509","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W1557386445","https://openalex.org/W1563556756","https://openalex.org/W1968465951","https://openalex.org/W1982971905","https://openalex.org/W1994326726","https://openalex.org/W2021362805","https://openalex.org/W2041068798","https://openalex.org/W2075095478","https://openalex.org/W2099613071","https://openalex.org/W2103131117","https://openalex.org/W2108403445","https://openalex.org/W2121579803","https://openalex.org/W2135274013","https://openalex.org/W2138736975","https://openalex.org/W2152605584","https://openalex.org/W2293247967","https://openalex.org/W2472201937","https://openalex.org/W2517176850","https://openalex.org/W2534678535","https://openalex.org/W2535060913","https://openalex.org/W2542538106","https://openalex.org/W2597705742","https://openalex.org/W2625587722","https://openalex.org/W2734245281","https://openalex.org/W2734401556","https://openalex.org/W2739746516","https://openalex.org/W2760303343","https://openalex.org/W2763925543","https://openalex.org/W2766710082","https://openalex.org/W2768475350","https://openalex.org/W2793031414","https://openalex.org/W2794848620","https://openalex.org/W2805525585","https://openalex.org/W2806634969","https://openalex.org/W2807302064","https://openalex.org/W2808465942","https://openalex.org/W2896993707","https://openalex.org/W2899869491","https://openalex.org/W2912230279","https://openalex.org/W2964540713","https://openalex.org/W2965443102","https://openalex.org/W2965714291","https://openalex.org/W2982376896","https://openalex.org/W2982410893","https://openalex.org/W3022540164","https://openalex.org/W3106751060","https://openalex.org/W3213708112","https://openalex.org/W4288057805","https://openalex.org/W6608070349","https://openalex.org/W6628297953","https://openalex.org/W6638673520","https://openalex.org/W6640494948","https://openalex.org/W6712237015","https://openalex.org/W6719314992","https://openalex.org/W6744026833","https://openalex.org/W6780453886"],"related_works":["https://openalex.org/W2055367414","https://openalex.org/W2052673929","https://openalex.org/W2138847","https://openalex.org/W261562921","https://openalex.org/W1584308544","https://openalex.org/W2379457214","https://openalex.org/W2373327185","https://openalex.org/W2351705013","https://openalex.org/W4243333834","https://openalex.org/W141798819"],"abstract_inverted_index":{"The":[0,150,165],"rapid":[1],"increase":[2],"in":[3,44,89,177],"data":[4],"generation":[5,115],"has":[6,108],"led":[7],"to":[8,11,17,58,74,141,147,172],"outsourcing":[9],"computation":[10,71],"cloud":[12],"service":[13],"providers,":[14],"allowing":[15],"clients":[16],"handle":[18],"large":[19],"tasks":[20],"without":[21],"investing":[22],"resources.":[23],"However,":[24],"this":[25,98],"brings":[26],"up":[27],"security":[28,49],"concerns,":[29],"and":[30,39,47,69,134,156,180],"while":[31,161],"there":[32],"are":[33],"solutions":[34],"like":[35],"fully":[36],"homomorphic":[37],"encryption":[38],"specific":[40],"task-oriented":[41],"methods,":[42],"challenges":[43],"optimizing":[45],"performance":[46],"enhancing":[48],"models":[50],"remain":[51],"for":[52,93,116],"widespread":[53],"industry":[54],"adoption.":[55],"Outsourcing":[56],"computations":[57],"an":[59,136],"untrusted":[60],"remote":[61],"computer":[62],"can":[63],"be":[64],"risky,":[65],"but":[66],"attestation":[67],"techniques":[68],"verifiable":[70],"schemes":[72],"aim":[73],"ensure":[75],"the":[76,83,94,100,120,169],"correct":[77],"execution":[78],"of":[79,102,119],"outsourced":[80],"computations.":[81],"Nevertheless,":[82],"latter":[84],"approach":[85],"incurs":[86],"significant":[87],"overhead":[88],"generating":[90],"a":[91,103,125],"proof":[92,114],"client.":[95],"To":[96],"minimize":[97],"overhead,":[99],"concept":[101],"Correct":[104],"Execution":[105],"Environment":[106],"(CEE)":[107],"been":[109],"proposed":[110,151,170],"(CEEv1),":[111],"which":[112],"omits":[113],"trusted":[117],"parts":[118],"prover.":[121],"This":[122],"paper":[123,166],"proposes":[124],"new":[126],"hardware-based":[127],"CEE":[128],"(CEEv2)":[129],"that":[130],"supports":[131,153],"virtual":[132,154],"memory":[133,155],"uses":[135],"inverted":[137],"page":[138,148],"table":[139],"mechanism":[140,152,171],"detect,":[142],"or":[143],"prevent,":[144],"illegal":[145],"modifications":[146],"mappings.":[149],"thwarts":[157],"virtual-to-physical":[158],"mapping":[159],"attacks,":[160],"minimizing":[162],"software":[163],"modifications.":[164],"also":[167],"compares":[168],"other":[173],"similar":[174],"mechanisms":[175],"used":[176],"AMD\u2019s":[178],"SEV-SNP":[179],"Intel\u2019s":[181],"SGX.":[182]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}