{“id”：“https://openalex.org/W3104572536“，”doi“：”https://doi.org/10.109/micro50266.2020.00094“，”title“：”推测不变性（InvarSpec）：“通过程序分析更快地安全执行”，“display_name”：“推测不变性https://openalex.org/W3104572536“，”doi“：”https://doi.org/10.109/micro50266.2020.00094“，”mag“：”3104572536“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/micro50266.2020.00094“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://dspace.mit.edu/bitstream/1721.1/137793/2/micro20_1.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5041255110“，”display_name“：”赵子瑞“，”兽人“：”https://orcid.org/0009-0004-8514-072X}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Zirui Neil Zhao“，”raw _affiliation_strings“：[“伊利诺伊大学，乌尔巴纳-香槟分校”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5059787309“，”display_name“：”侯祥姬“，”兽人“：”https://orcid.org/0009-0008-8402-0127}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Houxiang Ji“，”raw _affiliation_strings“：【”伊利诺伊大学香槟分校“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5057740643“，”display_name“：”严梦佳“，”兽人“：”https://orcid.org/0000-0002-6206-9674}，“机构”：[{“id”：https://openalex.org/I63966007“，”display_name“：”麻省理工学院“，”ror“：”https://ror.org/042nb2s44“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I63966007“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Mengjia Yan“，”raw _ afiliation_strings“：[“麻省理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5011605423“，”display_name“：”Jun Yu“，”orcid“：”https://orcid.org/0000-0002-9150-0662}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Jiyong Yu“，”raw _affiliation_strings“：【”伊利诺伊大学香槟分校“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5027987862“，”display_name“：”Christopher W.Fletcher“，”orcid“：”https://orcid.org/0000-0002-9995-5995}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Christopher W.Fletcher“，”raw _affiliation_strings“：【”伊利诺伊大学香槟分校“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5005094554“，”display_name“：”Adam Morrison“，”orcid“：”https://orcid.org/0000-0002-5586-2615}，“机构”：[{“id”：https://openalex.org/I16391192“，”display_name“：”特拉维夫大学“，”ror“：”https://ror.org/04mhzgx49“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I16391192“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Adam Morrison“，”raw_affiliation_strings“：[“特拉维夫大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5081289583“，”display_name“：”Darko Marinov“，”orcid“：”https://orcid.org/0000-0001-5023-3492}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Darko Marinov“，”raw _affiliation_strings“：【”伊利诺伊大学香槟分校“]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055909708“，”display_name“：”Josep Torrellas“，”orcid“：”https://orcid.org/0000-0003-2595-5228}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Josep Torrellas“，”raw _ afiliation_strings“：[“伊利诺伊大学，乌尔巴纳-香槟分校”]}]“countries _ distinct _ count”：2，“institutions _ disting _count”：3，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：null，“has_fulltext”：false，“cited_by_count“：18，”cited_by_percentile_year“：{“min”：93，“max”：94}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11241“，”display_name“：”Android恶意软件的特征描述和检测“，”score“：0.9946，”subfield“：{”id“：”https://openalex.org/subfields/1711“，”display_name“：”信号处理“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.994，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/security-analysis网站“，”display_name“：”安全分析“，”score“：0.523696}，{”id“：”https://openalex.org/keywords/behavior分析“，”display_name“：”行为分析“，”score“：0.517324}]，”concepts“：[{”id“：”https://openalex.org/C47941915，“wikidata”：https://www.wikidata.org/wiki/Q107885“，”display_name“：”推测“，”级别“：2，”分数“：0.9156562}，{”id“：”https://openalex.org/C141331961，“wikidata”：https://www.wikidata.org/wiki/Q2164465“，”display_name“：”推测执行“，”level“：2，”score“：0.8526249}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.82148004}，{”id“：”https://openalex.org/C15296174，“wikidata”：https://www.wikidata.org/wiki/Q7575343“，”display_name“：”推测性多线程“，”level“：4，”score“：0.8076773}，{”id“：”https://openalex.org/C5526617，“wikidata”：https://www.wikidata.org/wiki/Q719375“，”display_name“：”操作数“，”level“：2，”score“：0.6727062}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.58366436}，{”id“：”https://openalex.org/C165696696，“wikidata”：https://www.wikidata.org/wiki/Q11287“，”display_name“：”Exploit“，”level“：2，”score“：0.56966513}，{”id“：”https://openalex.org/C139002025，“wikidata”：https://www.wikidata.org/wiki/Q3001212“，”display_name“：”Lift（数据挖掘）“，”level“：2，”score“：0.48931095}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.45467597}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.4485895}，{”id“：”https://openalex.org/C02491316，“wikidata”：https://www.wikidata.org/wiki/Q272683“，”display_name“：”指令集“，”level“：2，”score“：0.44474328}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3426416｝，｛”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.33807033}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.32559782}，{”id“：”https://openalex.org/C201410400，“wikidata”：https://www.wikidata.org/wiki/Q1064412“，”display_name“：”多线程“，”level“：3，”score“：0.133918108｝，｛”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.08732754}，{”id“：”https://openalex.org/C138101251，“wikidata”：https://www.wikidata.org/wiki/Q213092“，”display_name“：”Thread（computing）“，”level“：2，”score“：0.077012956}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/micro50266.2020.00094“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hdl.handle.net/1721.1/137793，“pdf_url”：https://dspace.mit.edu/bitstream/1721.1/137793/2/micro20_1.pdf“，”源“：｛”id“：”https://openalex.org/S4306400425“，”display_name“：”麻省理工学院DSpace（麻省理工学院）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I63966007“，”“host_organization_name”：“麻省理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I63966007“]，”host_organization_lineage_names“：[”麻省理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-sa”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-sa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/1721.1/137793，“pdf_url”：https://dspace.mit.edu/bitstream/1721.1/137793/2/micro20_1.pdf“，”源“：｛”id“：”https://openalex.org/S4306400425“，”display_name“：”麻省理工学院DSpace（麻省理工学院）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I63966007“，”“host_organization_name”：“麻省理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I63966007“]，”host_organization_lineage_names“：[”麻省理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-sa”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-sa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的制度“，”score“：0.58，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：44，”referrenced_works“：【”https://openalex.org/W1427174644","https://openalex.org/W1488058190","https://openalex.org/W1584476834","https://openalex.org/W1718337629","https://openalex.org/W2036853599","https://openalex.org/W2118811116","https://openalex.org/W2144344516","https://openalex.org/W2145516220","https://openalex.org/W2147657366","https://openalex.org/W2166293920","https://openalex.org/W2171561505","https://openalex.org/W2171863291","https://openalex.org/W2255548496","https://openalex.org/W2406174928","https://openalex.org/W2540422252","https://openalex.org/W2725159389","https://openalex.org/W2788636062","https://openalex.org/W2796645376","https://openalex.org/W2810584084","https://openalex.org/W2868863044","https://openalex.org/W2883613460","https://openalex.org/W2884364581","https://openalex.org/W2888798936","https://openalex.org/W2903910116","https://openalex.org/W2931030580","https://openalex.org/W2933306136","https://openalex.org/W2948017961","https://openalex.org/W2952265249","https://openalex.org/W2952322674","https://openalex.org/W2954241526","https://openalex.org/W2963311060","https://openalex.org/W2964281551","https://openalex.org/W2966638792","https://openalex.org/W2976763854","https://openalex.org/W2978325751","https://openalex.org/W2979633637","https://openalex.org/W2979849111","https://openalex.org/W2981343730","https://openalex.org/W2982776349","https://openalex.org/W3097990693","https://openalex.org/W3101300690","https://openalex.org/W3147482974","https://openalex.org/W4232120412","https://openalex.org/W428086178“]，”related_works“：[”https://openalex.org/W4310747513","https://openalex.org/W4308643153","https://openalex.org/W3200493004","https://openalex.org/W2914199322","https://openalex.org/W2529446866","https://openalex.org/W2132214193","https://openalex.org/W2124112831","https://openalex.org/W2107711797","https://openalex.org/W1891584596","https://openalex.org/W142230668“]，”ngrams_url“：”https://api.openalex.org/works/W3104572536/ngrams“，”abstract_inverted_index“：{”Many“：[0]，”hardware-based“：[1]，”defense“：[2,94170194]，”schemes“：[3,95171]，”against“：[4]，”投机“：[5,31,61157173]，”execution“：[6174190204]，”attacks“：[7]，”use“：[8]，”special“：[9,70]，”to“：[11,66154211217224]，”protect“：[12]，”instructions“：[13]22,32,73127158]，“while”：[14]，“投机性，“：[15]，”和“：[16,51,80151179219]，“提升”：[17,67]，“the”：[18,21,47,53,68,90,93107123145168189202]，“when”：[20,75156]，“turn”：[23]，“nonspective”。“：[24,40]，”In“：[25]，”this“：[26149]，”paper“：[27]，”we“：/28,64,88105]，”observe“：[29]，”that“：[30,44116128134175185]，”can“：[33159]，”sequestive“：[34]，”become“：[35,77]，”Speculation“：[36,41]，”Invariant“：[37]，”previor“：[38]，”turning“：[39]，”invariance“：[42]，”means“：，“（i）”：[45]，“是否”：[46]，“指令”：[48121]，“将”：[49]，“执行”：[50]，“（ii）“：[52]，”指令的“：[54]，”操作数“：[55]，”是“：[56129]，”不是“：[57136]，”a“：[58,86112]，”函数“：[59]，”of“：[60,92125167192206213220]，”state。“：[62]，”因此，“：[63]，”提议“：[65]，”保护“：[69]，”关于“：[71198]，”这些“：[72]，”早期“：[74]，”他们“：[76]，”推测“：[78103141]，”不变量“：[79]，”问题“：[81]，”它们“：[82]，”没有“：[83,96162]，“保护”。“：[84163]，”As“：[85]，”result“，：[87]，”improve“：[89]，”performance“：[91]，”changing“：[97]，”their“：[98]，”security“：[99]，”properties。“：[100]，”To“：[101]，”exploit“：[102]，”不变性“：[104]，”present“：[106]，”InvarSpec“：/108110164186]，”framework.“：[109]，”includes“：[111]，”program“：[113]，”analysis“：[114]，”pass“：[115]，”identified“：[117]，”for“：[11813172]，”each“：[119]，”relevant“：%120]，”i，“：[122]，”set“：[124]，”older“：[126]，”安全“：[130]，”i即，“：[132]，”那些“：[133]，”做“：[135]，”防止“：[137]，“i”：[138]，“from”：[139209215222]，“beging”：[140]，“invariant”。“：[142]，”At“：[143]，”runtime“，：[144]，”微体系结构“：[147]，”loads“：[148]，”information“：[150]，”uses“：[152]，”it“：[153200]，”determine“：[155]，”be“：[160]，”issued“：[161]，”is“：[165]，”one“：[166]，”first“：[169]，”combines“：[176]，”cooperative“：[177]，”compiler“：[178]，”hardware“：[180193]，”机制。“：[181]，”我们的“：[182]，”评估“：[183]，”显示“：[184]，”有效“：[187]，”减少“：[188201]，”开销“：[191205]，”方案。“：[195]，”For“：[196]，”example，“：[197]，”SPEC17“：[199]，”average“：[203]，”fence“：[207]，”protections“：[208]，”195.3%“：[210]，”108.2%“：[212]，”Delay-On-Miss“：[214]，”39.5%“：[216]，”24.4%“，”：[218]，“InvisiSpec”：[221]，”15.4%“：[223]，”10.9%。“：[225]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3104572536“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：4}，{”年“：2022，”ciped_by_cunt“：5}，”{“年份”：2021，“cited_by_count”：9}]，”更新日期“：”2024-05-24T19:27:10.854721“，”创建日期“：“2020-11-23”}