{"id":"https://openalex.org/W3106751060","doi":"https://doi.org/10.1109/access.2020.3041308","title":"Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment","display_name":"Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3106751060","doi":"https://doi.org/10.1109/access.2020.3041308","mag":"3106751060"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.3041308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3041308","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09273052.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":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":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09273052.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"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/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":"middle","author":{"id":"https://openalex.org/A5068092520","display_name":"Gweonho Jeong","orcid":"https://orcid.org/0000-0003-2527-2320"},"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":"Gweonho Jeong","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/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":"last","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"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100435070"],"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.3977,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.69694263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":null,"first_page":"216689","last_page":"216706"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9994999766349792,"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/T10237","display_name":"Cryptography and Data Security","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.998199999332428,"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.807626485824585},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7976006865501404},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7507508993148804},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.7008780241012573},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6874378323554993},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6832489967346191},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6448731422424316},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.45975351333618164},{"id":"https://openalex.org/keywords/secure-multi-party-computation","display_name":"Secure multi-party computation","score":0.4140043258666992},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3850521445274353},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32398074865341187},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23930945992469788},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15310347080230713},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09344664216041565},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09126323461532593},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.09099152684211731},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08617740869522095}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.807626485824585},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7976006865501404},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7507508993148804},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.7008780241012573},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6874378323554993},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6832489967346191},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6448731422424316},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.45975351333618164},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.4140043258666992},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3850521445274353},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32398074865341187},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23930945992469788},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15310347080230713},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09344664216041565},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09126323461532593},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.09099152684211731},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08617740869522095},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.3041308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3041308","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09273052.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":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:a823950a000549bcb3e39568f6ec8924","is_oa":true,"landing_page_url":"https://doaj.org/article/a823950a000549bcb3e39568f6ec8924","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 216689-216706 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.3041308","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.3041308","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09273052.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":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":[{"id":"https://openalex.org/G8153071919","display_name":null,"funder_award_id":"2017-0-00661","funder_id":"https://openalex.org/F4320321373","funder_display_name":"Korea University"}],"funders":[{"id":"https://openalex.org/F4320321373","display_name":"Korea University","ror":"https://ror.org/047dqcg40"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3106751060.pdf","grobid_xml":"https://content.openalex.org/works/W3106751060.grobid-xml"},"referenced_works_count":87,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W1424543055","https://openalex.org/W1498538758","https://openalex.org/W1563556756","https://openalex.org/W1569778844","https://openalex.org/W1686420892","https://openalex.org/W1890128745","https://openalex.org/W1900771389","https://openalex.org/W1930567086","https://openalex.org/W1991756896","https://openalex.org/W2013613544","https://openalex.org/W2018746447","https://openalex.org/W2043007983","https://openalex.org/W2049982182","https://openalex.org/W2067700169","https://openalex.org/W2071520502","https://openalex.org/W2078353671","https://openalex.org/W2099613071","https://openalex.org/W2100818808","https://openalex.org/W2103131117","https://openalex.org/W2121579803","https://openalex.org/W2146099890","https://openalex.org/W2146244799","https://openalex.org/W2169657197","https://openalex.org/W2171337840","https://openalex.org/W2188644404","https://openalex.org/W2296362039","https://openalex.org/W2329308213","https://openalex.org/W2397423248","https://openalex.org/W2402869180","https://openalex.org/W2460441129","https://openalex.org/W2495842381","https://openalex.org/W2496543269","https://openalex.org/W2515122689","https://openalex.org/W2517176850","https://openalex.org/W2523212532","https://openalex.org/W2542538106","https://openalex.org/W2597705742","https://openalex.org/W2606525468","https://openalex.org/W2625587722","https://openalex.org/W2676157184","https://openalex.org/W2726052863","https://openalex.org/W2734245281","https://openalex.org/W2741593962","https://openalex.org/W2766710082","https://openalex.org/W2767399671","https://openalex.org/W2776666845","https://openalex.org/W2780272057","https://openalex.org/W2794536744","https://openalex.org/W2794771961","https://openalex.org/W2794848620","https://openalex.org/W2797481382","https://openalex.org/W2802610871","https://openalex.org/W2807345858","https://openalex.org/W2883585522","https://openalex.org/W2883748642","https://openalex.org/W2884599530","https://openalex.org/W2898776076","https://openalex.org/W2943443221","https://openalex.org/W2948043589","https://openalex.org/W2963893667","https://openalex.org/W2965443102","https://openalex.org/W2968027060","https://openalex.org/W2978282230","https://openalex.org/W2984674716","https://openalex.org/W2990120385","https://openalex.org/W2999744542","https://openalex.org/W3010911064","https://openalex.org/W3022540164","https://openalex.org/W3101942154","https://openalex.org/W3103497171","https://openalex.org/W4232751114","https://openalex.org/W4236786653","https://openalex.org/W4236995802","https://openalex.org/W4238629199","https://openalex.org/W4289744349","https://openalex.org/W6629960688","https://openalex.org/W6639622188","https://openalex.org/W6640494948","https://openalex.org/W6648250834","https://openalex.org/W6712237015","https://openalex.org/W6713217963","https://openalex.org/W6718865826","https://openalex.org/W6723624725","https://openalex.org/W6742578501","https://openalex.org/W6768415072","https://openalex.org/W6891805332"],"related_works":["https://openalex.org/W2151433956","https://openalex.org/W2564184999","https://openalex.org/W2915124127","https://openalex.org/W4386302629","https://openalex.org/W1557783852","https://openalex.org/W3022237949","https://openalex.org/W3088939963","https://openalex.org/W2201987289","https://openalex.org/W2357761884","https://openalex.org/W1474916271"],"abstract_inverted_index":{"The":[0,88,131,198],"verifiable":[1,51,147,185],"computation":[2,24,104,186],"paradigm":[3],"has":[4],"been":[5,55],"studied":[6],"extensively":[7],"as":[8],"a":[9,73,177,182,222],"means":[10],"to":[11,78,92,112,138],"verifying":[12],"the":[13,21,26,30,34,40,85,94,98,103,110,114,116,120,123,142,153,184,204,214],"result":[14,31],"of":[15,61,122,134,155],"outsourced":[16],"computation.":[17,87,130,148],"In":[18],"said":[19],"scheme,":[20],"verifier":[22],"requests":[23],"from":[25,39,84],"prover":[27],"and":[28,36,164,191,213],"verifies":[29],"by":[32,96],"checking":[33],"output":[35],"proof":[37],"received":[38],"prover.":[41],"Although":[42],"they":[43],"have":[44,53],"great":[45],"potential":[46],"for":[47,146,176],"various":[48],"critical":[49],"applications,":[50],"computations":[52],"not":[54],"widely":[56],"used":[57],"in":[58],"practice,":[59],"because":[60,72],"their":[62],"significant":[63,70],"performance":[64],"overhead.":[65],"Existing":[66],"cryptography-based":[67,74],"approaches":[68],"incur":[69],"overhead,":[71],"mathematical":[75],"frame":[76],"needs":[77],"be":[79,189,195],"constructed,":[80],"which":[81,160],"prevents":[82],"deviation":[83],"correct":[86,129,178],"proposed":[89],"approach":[90,136],"is":[91,105,137,207],"reduce":[93],"overhead":[95,193],"trusting":[97],"computing":[99,125],"hardware":[100,111,117,143],"platform":[101],"where":[102],"outsourced.":[106],"If":[107],"one":[108],"trusts":[109],"do":[113],"computation,":[115],"can":[118,188,194],"take":[119],"place":[121],"cryptographic":[124,224],"frame,":[126],"thereby":[127],"guaranteeing":[128],"key":[132],"challenge":[133],"this":[135],"define":[139],"what":[140],"exactly":[141],"should":[144],"guarantee":[145],"For":[149],"this,":[150],"we":[151],"introduce":[152],"concept":[154],"Correct":[156],"Execution":[157],"Environment":[158],"(CEE),":[159],"guarantees":[161],"instruction":[162],"correctness":[163],"state":[165],"preservation.":[166],"We":[167],"prove":[168],"that":[169,203],"these":[170],"two":[171],"requirements":[172],"are":[173],"satisfactory":[174],"conditions":[175],"output.":[179],"By":[180],"employing":[181],"CEE,":[183],"scheme":[187],"simplified,":[190],"its":[192],"reduced":[196],"drastically.":[197],"presented":[199],"experimental":[200],"results":[201],"demonstrate":[202],"execution":[205],"time":[206,216],"approximately":[208],"1.7":[209],"million":[210],"times":[211,219],"faster":[212,220],"verification":[215],"over":[217],"50":[218],"than":[221],"state-of-the-art":[223],"approach.":[225]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}