｛“id”：“https://openalex.org/W2760025382“，”doi“：”https://doi.org/10.109/csf.2017.13“，”title“：”Secure Compilation and Hyperproperty Preservation“，”display_name“：”Secure Compiltion and Hyperproerty Preservating“，”publication_year“：2017，”publiation_date“：”2017-08-01“，”ids“：{”openalex“：”https://openalex.org/W2760025382“，”doi“：”https://doi.org/10.109/csf.2017.13“，”mag“：”2760025382“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/csf.2017.13“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5023276491“，”display_name“：”Marco Patrignani“，”orcid“：”https://orcid.org/0000-0003-3411-9678“｝，”机构“：[｛”id“：”https://openalex.org/I4210121786“，”display_name“：”Max Planck Institute for Software Systems“，”ror“：”https://ror.org/02pe2kf23“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210121786“]｝]，”countries“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Marco Patrigani“，”raw_affiation_strings“：[”MPI-SWS，Germany“]，”affiliations“：[｛”raw_affiation_string“：”MPI-SWS，Germany“，”institution_ids“：[”https://openalex.org/I4210121786“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5026719321“，”display_name“：”Deepak Garg“，”orcid“：”https://orcid.org/0000-0002-0888-3093“｝，”机构“：[｛”id“：”https://openalex.org/I4210121786“，”display_name“：”Max Planck Institute for Software Systems“，”ror“：”https://ror.org/02pe2kf23“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210121786“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Deepak Garg“，”raw _affiliation_strings“：[“MPI-SWS，德国”]，”affiliations“：[{”raw _affiliation_string“：”MPI-SWS，德国”，“institution_ids”：[“https://openalex.org/I4210121786“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：1.222，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：27，“citeconding_by_percentile_year”：{“min”：94，“max”：95}，“biblio”“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9998，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9921，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9912，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”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/trusted-execution-environment网站“，”display_name“：”可信执行环境“，”score“：0.518804}]，”concepts“：[{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.8995265}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.85928655}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.8339561}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7241054}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.47730744}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.43351018}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.42622644}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.4216081}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/csf.2017.13“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：nuld，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.44}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：46，”referrenced_works“：]”https://openalex.org/W1578707466","https://openalex.org/W1680927362","https://openalex.org/W1709253165","https://openalex.org/W18406861999","https://openalex.org/W1940060540","https://openalex.org/W1965012291","https://openalex.org/W1979413599网址","https://openalex.org/W1994496817","https://openalex.org/W2007270285","https://openalex.org/W2014108710","https://openalex.org/W2017639917","https://openalex.org/W2020899082","https://openalex.org/W2027423863","https://openalex.org/W2036910349","https://openalex.org/W2046697462","https://openalex.org/W2049618117","https://openalex.org/W2063073904","https://openalex.org/W2068341689","https://openalex.org/W2072885133","https://openalex.org/W2079755135","https://openalex.org/W2091779700","https://openalex.org/W2108416936","https://openalex.org/W2114702512网址","https://openalex.org/W2117320004","https://openalex.org/W2127279435","https://openalex.org/W2127625071","https://openalex.org/W2134056477","https://openalex.org/W2134774109","https://openalex.org/W2150735864","https://openalex.org/W2165594098","https://openalex.org/W2168743513","https://openalex.org/W2267987975","https://openalex.org/W2292795436","https://openalex.org/W2293692853","https://openalex.org/W2296605318","https://openalex.org/W2327281523","https://openalex.org/W2331388232","https://openalex.org/W2509988922","https://openalex.org/W2514838807","https://openalex.org/W2566786129","https://openalex.org/W2760025382","https://openalex.org/W2963888572","https://openalex.org/W311849272","https://openalex.org/W4242450894","https://openalex.org/W4250728693","https://openalex.org/W69309551“]，”related_works“：[”https://openalex.org/W4252501555","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W2003848320","https://openalex.org/W1667647204","https://openalex.org/W1508895727","https://openalex.org/W126139558“]，”ngrams_url“：”https://api.openalex.org/works/W2760025382/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“area”：[1]，“of”：[2,38,62,65112]，“secure”：[3,30,98135]，“compilation”：[4102]，“aims”：[5]，“to”：[6,70175]，“design”：[7]，“编译器”：[8,31144]，“which”：[9153]，“produce”：[10]，“hardend”：[11]，“code”：[12]，”“that”：[13,32,59106122140155165]，“可以”：[14]，“抵抗”：[15]，“攻击”：[16]，“来自”：[17170]低级“：[18,86]，“共同链接”：[19]，“组件。“：[20]，”So“：[21]，”far“：[22]，”there“：[23]，”is“：[24,81]，”no“：[25]，”formal“：[26]，”correction“：[27,95]，”criteria“：28,43,51,96132]，”for“：[29,97134]，”comes“：[33]，”with“：[34,85]，”a“：[35,50,56,93109166171]，”clear“：[36]，”understanding“：[3]，”what“：[39]，“security”：[40,63113]，“properties”：[41,64126]，“the”：[42,73,78130]，“actually”：[44]，“提供。“：[45]，”理想，“：[46]，”我们“：[47120138163]，”会“：[48]，”像“：[49]，”那，“：[22]，”如果“：[53]，”满足“：[54]，”由“：[55]，”编译器“：[57]，”保证“：[58]，”大型“：[60110]，”类“：[61]，”源“：[66173]，”语言“：[67174179]，”程序“：[68]，”继续“：[69]，”保持：[71]，“in”：[72146]，“compiled”：[74,79]，“program”，“：[75]，“even”：[76]，“as”：[77]，“程序“：[80]，”运行“：[82]，”对抗“：[83]，”对手“：[84]，”攻击“：[87]，”能力。“：[88]，”This“：[89]，”paper“：[90]，”provides“：[91]，”such“：[92]，”novel“：[94]，”compilers“：[99]，”called“：[100]，”trace-preserving“：[101]，”（TPC）。“：[103]，”We“：[104]，”show“：[105121139]，”TPC“：[107123]，”preserve“：[108124]，”class“：[111]，”properties“，”：[114]，“即：[115]，”all“：[116]，”safety“：[117]，”superperties。“：[118]，”进一步，“：[119]，”更多“：[125]，”比“：[127]，”完全“：[128]，”抽象，“：%129]，”de-facto“：[131]，”使用“：[133]，”编译。“：[136]，”然后，“：[137]，”几个“：[141]，”完全“：[142167]，”抽象“：[143168]，”描述“：[145]，”文学“：[147]，”满足“：[148158]，”an“：[149161176]，”附加“：[150]，”共同“：[151]，”属性“：[152]，”暗示“：[154]，”他们“：[156]，”也“：[157]，”TPC。“：[159181]，”As“：[160]，”illumination“：[162]，”prove“：[164]，”compiler“：[169]，”typeed“：[172]，”untyped“：[177]，”target“：[178]，”safess“：[180]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2760025382“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：1}.，{“年”：2021，”cited_by_count“年份”：2017，“引用_ by_count”：2}]，“更新日期”：“2024-06-25T15:16:40.388410”，“创建日期”：2017-10-06"}