{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,10]]，“日期-时间”：“2024-06-10T13:12:04Z”，“时间戳”：1718025124781}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：65，“出版者”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[2019,6,8]]，时间“：”2019-06-08T00:00:00Z“，”时间戳“：1559952000000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“DOI”：“10.13039\/100007297”，“name”：“海军研究办公室”，“DOI-asserted-by”：“publisher”，“award”：[“N000141512750”]}，{“DOI”：”10.13039\\100000001“，“name“：”国家科学基金会“，“doi-asserted-by”：“publisher”，“award”：[“CNS-1514435”]}，{“doi”：“10.13039\/1000000028”，“name”：“Semiconductor Research Corporation”，”doi-assert-by“：”publisher“}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[2019,6,8]}：“10.1145\/3314221.3314605”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2019,6,7]]，“date-time”：“2019-06-07T21:02:18Z”，“timestamp”：1559941338000}，“update-policy”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：《Crossref》，“is-referenced-by-count”：43，“title”：[“FaCT:定时敏感计算的DSL”]，“前缀”：“10.1145”，“author”“：[{”given“：”Sunjay“，”family“：“Cauligi”，“sequence”：“first”，“affiliation”：[{“name”：“University of California at San Diego，USA”}]}，{“given”：“Gary”，“family”：“Soeller”，“serquence”:“additional”，“filiation“：[{name”：”University ofCalifornicia at San Diego，USA”}]{，{given“：”Brian“，”family“：”Johannesmeyer“，”sequence“：”additional“，”affiliation:[{”name“name”：“美国圣地亚哥加州大学”}]}，{“given”：“Fraser”，“family”：“Brown”，“sequence”：“additional”，“affiliation”：[{“name”：“Stanford University，USA”}]neneneep，{”given“：”Riad S.“，”family“：”Wahby“，”sequence“：”additional用法：[{“name”：“美国圣地亚哥加利福尼亚大学”}]}，{“given”：“Benjamin”，“family”：“Gr\u00e9goire”，“sequence”：“additional”，“affiliation”：[{“name”:“Inria，France”}]{，“givens”：“Gilles”，“fumily”:“Barthe”，“serquence”:“additionable”，“filiation“[{”名称：“MPI for Security and Privacy，Germany \/IMDEA Software Institute，Spain”}]neneneep，{（给定）：“Ran”jit（准时制），“family”：“Jhala”，“sequence”：“additional”，“affiliation”：[{“name”：“University of California at San Diego，USA”}]}，{“given”：“Deian”，“fame”：“Stefan”，“serquence”:“additionable”，“filiation“：[{name”：《加利福尼亚大学圣地亚哥分校》}]]，“member”：“320”，“published on”：{“date-parts”：[2019,6,8]}、“reference”：[[{”key“e_1_1”3_2_2_1_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/325694.325702”}，{“key”：“e_1_3_2_2_1”，《volume-title》：“第34届IEEE安全与隐私研讨会。IEEE。”，“author”：“Nadhem”、“unstructured”：“Nadhem J.Al Fardan和Kenneth G.Paterson。2013。幸运十三：打破TLS和DTLS记录协议。在第34届IEEE安全与隐私研讨会上。电气与电子工程师协会。Nadhem J.Al Fardan和Kenneth G.Paterson。2013.幸运十三：打破TLS和DTLS记录协议。在第34届IEEE安全与隐私研讨会上。电气与电子工程师协会。“｝，｛”key“：”e_1_3_2_3_1“，”doi asserted by“：”publisher“，”doi“：”10.1145\/313956.3134078“｝，｛”key“：”e_1_3_2_4_1“，”卷标题“：”快速软件加密“，”作者“：”Almeida Jos\u00e9 Bacelar“，”非结构化“：”Jos\u00e9 Bacelar Almeida，Manuel Barbosa，Gilles Barthe，and Fran \u00e7 ois Dupressoir.2016。密码实现的可验证边信道安全：恒定时间MEE-CBC。在快速软件加密中。斯普林格。乔斯·巴塞拉·阿尔梅达、曼努埃尔·巴博萨、吉莱斯·巴特和弗兰克·杜普斯托尔。2016.密码实现的可验证侧通道安全：恒定时间MEE-CBC。在快速软件加密中。斯普林格。“}，{”key“：”e_1_3_2_2_5_1“，”volume-title“：”第25届USENIX安全研讨会。USENIX-协会“，”author“：”Almeida Jos\u00e9 Bacelar“，”year“：”2016“，”unstructured“：”乔斯·巴塞拉·阿尔梅达、曼努埃尔·巴博萨、吉尔斯·巴特、弗兰克·杜普斯托尔和迈克尔·埃米。2016 . 验证恒定时间实现。在第25届USENIX安全研讨会上。USENIX协会。乔斯·巴塞拉·阿尔梅达、曼努埃尔·巴博萨、吉尔斯·巴特、弗兰克·杜普斯托尔和迈克尔·埃米。2016.验证持续执行。在第25届USENIX安全研讨会上。USENIX协会。“}，{”key“：”e_1_3_2_2_6_1“，”volume-title“：”使用自组合对副通道对抗措施进行形式验证。计算机编程科学“，”author“：”Almeida J.Bacelar“，”year“：”2013“，”unstructured“：”J.Bacellar Almedia，Manuel Barbosa，Jorge S.Pinto，and B\u00e1rbara Vieira.2013。使用自组合对副通道对策进行形式验证。《计算机程序设计科学》（2013）。J.Bacelar Almeida、Manuel Barbosa、Jorge S.Pinto和B\u00e1rbara Vieira。2013年，使用自我合成对副渠道对策进行正式验证。《计算机程序设计科学》（2013）。“}，{”key“：”e_1_3_2_2_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2701415”}，“key”：“e_1_ 3_2_8_1”，“volume-title”：“使用差分模糊化的加密软件自动测试。美国黑帽公司”，“author”：“Aumasson Jean-Philippe”，“年份”：“2017”，“非结构化”：“Jean-Philippe Aumasson and Yolan Romailler。2017。使用差分模糊化对加密软件进行自动测试。美国黑帽（2017）。Jean-Philippe Aumasson和Yolan Romailler。2017.使用差分模糊化对加密软件进行自动测试。美国黑帽（2017）。“}，{”key“：”e_1_3_2_2_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2660267.2660283”}，“{”key“：“e_1_ 3_2_10_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/CSF.2018.00031“}”，{Barthe Gilles，“年份”：“2006年”，“非结构化”：“Gilles Barthe，Tamara Rezk，and Martijn Warnier。2006.通过事务分支指令防止计时泄漏。理论计算机科学电子笔记（2006）。吉尔斯·巴特（Gilles Barthe）、塔玛拉·雷兹克（Tamara Rezk）和马蒂恩·沃尼尔（Martijn Warnier）。2006.通过事务分支指令防止计时泄漏。理论计算机科学电子笔记（2006）。“}，{”key“：”e_1_3_2_2_12_1“，”volume-title“：”OpenSSL HMAC的正确性和安全性验证。第24届USENIX安全研讨会。“，”author“：”Beringer Lennart“，”unstructured“：”Lennart-Beringer、Adam Petcher、Q.Ye Katherine和Andrew W。上诉。2015 . 已验证OpenSSL HMAC的正确性和安全性。在第24届USENIX安全研讨会上。Lennart Beringer、Adam Petcher、Q.Ye Katherine和Andrew W.Appel。2015.验证OpenSSL HMAC的正确性和安全性。在第24届USENIX安全研讨会上。}，{“键”：“e_1_3_2_2_14_1”，“doi-asserted-by”：“交叉引用”，“非结构化”：“Daniel J.Bernstein.2005。Poly1305-AES消息验证码。在快速软件加密中。国际会计准则理事会。丹尼尔·伯恩斯坦（Daniel J.Bernstein）。2005.Poly1305-AES消息认证代码。在快速软件加密中。IACR。“，”DOI“：”10.1007\/11502760_3“}，{”key“：”e_1_3_2_2_15_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1007\/11745853_14”}，“key”：“e_1_3_2_16_1”，“unstructured”：“Daniel J.Bernstein.2007。qhasm：帮助编写高速软件的工具。https:\/\/cr.yp.to\/qhasm.html。丹尼尔·伯恩斯坦（Daniel J.Bernstein）。2007年。qhasm：帮助编写高速软件的工具。https:\/\/cr.yp.to\/qhasm.html。“}，{”key“：”e_1_3_2_2_17_1“，”volume-title“：”新流密码设计“，”author“：”Bernstein Daniel J“，”unstructured“：”Daniel J.Bernstein.2008。Salsa20流密码家族。在新的流密码设计中。斯普林格。丹尼尔·伯恩斯坦（Daniel J.Bernstein）。2008.Salsa20流密码家族。在新的流密码设计中。斯普林格。“}，{”key“：”e_1_3_2_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-33481-8_9”}，“{”密钥“：”e_1_3_2_2_20_1“”，“doi-assert-by”：“publisher”，“doi:”10.1109\/SP.2013.37“}”，{“key”：“e_1_ 3_2_21_1”，“volume-title”：“Vale:验证高性能密码汇编代码。在第26版USENIX Security中研讨会。USENIX协会。“，”作者“：”邦德·巴里（Bond Barry），“年份”：“2017年”，“非结构化”：“巴里·邦德（Barry Bond），克里斯·霍布利泽尔（Chris Hawblitzel），马诺斯·卡普里索斯（Manos Kapritsos），K.鲁斯丹·莱诺（K.Rustan M.Leino），雅各布·洛奇（Jacob R.Lorch），布莱恩·帕诺（Bryan Parno），阿沙伊·兰恩（Ashay Rane），斯琳塔·塞蒂（Srinath Setty），劳尔·汤普森（Laure Thompson）。2017 . Vale：验证高性能密码汇编代码。在第26届USENIX安全研讨会上。USENIX协会。巴里·邦德（Barry Bond）、克里斯·霍布利泽尔（Chris Hawblitzel）、马诺斯·卡普里索斯（Manos Kapritsos）、K.鲁斯坦·M·莱诺（K.Rustan M.Leino）、雅各布·R·洛奇（Jacob R.Lorch）、布莱恩·帕诺（Bryan Parno）、阿西·雷恩（Ashay Rane）、斯琳塔·塞蒂（Srinath Setty）和劳尔·汤普森（Laure Thompson）。2017.淡水河谷：验证高性能密码汇编代码。在第26届USENIX安全研讨会上。USENIX协会。“}，{”key“：”e_1_3_2_22_1“，”unstructured“：”Benjamin A.Braun Suman Jana和Dan Boneh，2015年。稳健高效地消除缓存和定时端通道。(2015). arXiv：1506.00189。本杰明·布劳恩·苏曼·贾纳（Benjamin A.Braun Suman Jana）和丹·博内赫（Dan Boneh）。2015.稳健高效地消除缓存和定时侧通道。(2015). arXiv:150.06.00189.“}，{“key”：“e_1_3_2_23_1”，“volume title”：“远程定时攻击是实用的。计算机网络”，“作者”：“Brumley David”，“年份”：“2005”，“非结构化”：“David Brumley和Dan Boneh。2005。远程定时攻击很实用。计算机网络（2005）。David Brumley和Dan Boneh。2005.远程定时攻击很实用。计算机网络（2005）。“}，{”key“：”e_1_3_2_24_1“，”volume-title“：”Constant-Time Programming Language.In Secure Development Conference（SecDev）.IEEE.“，”author“：”Cauligi Sunjay“，”year“：”2017“，”unstructured“：”Sunjay Cauligi、Gary Soeller、Fraser Brown、Brian Johannesmeyer、Yunlu Huang、Ranjit Jhala和Deian Stefan。2017 . FaCT：一种灵活、恒定时间的编程语言。在安全开发会议（SecDev）上。电气与电子工程师协会。Sunjay Cauligi、Gary Soeller、Fraser Brown、Brian Johannesmeyer、Yunlu Huang、Ranjit Jhala和Deian Stefan。2017.FaCT：一种灵活、持续时间的编程语言。在安全开发会议（SecDev）上。电气与电子工程师协会。“}，{”key“：”e_1_3_2_25_1“，”doi-asserted-by“：”crossref“，“unstructured”：“Sunjay Cauligi Gary Soeller Brian Johannesmeyer Fraser Brown Riad S.Wahby John Renner Benjamin Gr\u00e9goire Gilles Barthe Ranjit Jhala and Deian Stefan.2019。FaCT：用于时间敏感计算的DSL。技术报告。https:\/\/fact.programming.systems\/fact_extended.pdf。桑杰·考利吉·加里·索勒（Sunjay Cauligi Gary Soeller）、布莱恩·约翰内斯梅耶尔·弗雷泽·布朗·里亚德·瓦比（Brian Johannesmeyer Fraser Brown Riad S.Wahby）、约翰·雷纳·本杰明·格鲁（John Renner Benjamin Gr\u00e9goire Gilles Barthe Ran。2019.FaCT：用于时间敏感计算的DSL。技术报告。https:\/\/fact.programming.systems\/fact_extended.pdf。“，”DOI“：”10.1145\/3314221.3314605“}，{”key“：”e_1_3_2_26_1“，”DOI-asserted-by“：”publisher“，，“author”：“Standard Cryptography Coding”，“year”：“2017”，“unstructured”：“密码编码标准。2016.编码规则。2017年6月9日检索自https:\/\/cryptocoding.net\/index.php\/Coding_rules。密码编码标准。2016.编码规则。2017年6月9日检索自https:\/\/cryptocoding.net\/index.php\/Coding_rules。“}，{”key“：”e_1_3_2_29_1“，”volume-title“：”Z3“：一个高效的SMT求解器。系统构建和分析的工具和算法”，“author”：“Moura Leonardo De”，“year”：“2008”，“unstructured”：“Leonarto De Moura和Nikolaj Bjurner.2008”。Z3：高效的SMT求解器。《系统构建和分析的工具和算法》（2008）。莱昂纳多·德·莫拉（Leonardo De Moura）和尼古拉·比尤纳（Nikolaj Bjurner）。2008年。Z3：高效的SMT求解器。《系统构建和分析的工具和算法》（2008）。“}，{”key“：”e_1_3_2_30_1“，”volume-title“：”d.].libnadio.Retrieved“，”author“：”Denis-Frank“，“年份”：“2018”，”unstructured“：”Frank Denis.[n.d.].libnadio.于2018年11月17日检索自https:\\/github.com/jedisct1\/libnadinodio.Frank Danis.[n.d].libsodio.2018年11月份17日检索于https:\\.github.com\/jedisct2\/libNadio.”}，}“key“：”e_1_3_2_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2756550“}，{“key”：“e_1_ 3_2_33_1”，“volume-title”：“当代硬件上的微体系结构定时攻击与对策调查。《密码工程杂志》，“作者”：“葛谦”，《年份》：“2018年”，“非结构化”：“钱戈、尤瓦尔·亚罗姆、大卫·科克和格诺特·海泽。2018年，对当代硬件的微体系结构定时攻击和对策的调查。《密码工程杂志》（2018）。Qian Ge、Yuval Yarom、David Cock和Gernot Heiser。2018年，对当代硬件的微体系结构定时攻击和对策的调查。《密码工程杂志》（2018）。“}，{”issue“：”5“，”key“：”e_1_3_2_2_34_1“，”首页“：”2315“，”article-title“：”PKCS#7“，”volume“：“1”，”author“：”Kaliski-Burt“，”year“：”1998“，”unstructured“：”Burt Kaliski.1998.PKCS#7:Cryptographic Message Syntax Version 1.5.RFC 2315.Burt Kariski。1998。PKCS#7:加密消息语法版本1.5。RFC 2315.“，”journal-title“：“加密消息语法版本”}，{“key”：“e_1_3_2_2_35_1”，“volume-title”：“RSA、DSS和其他系统。密码学进展”，“author”：“Kocher-Paul”，”unstructured“：”Paul Kocher.1996。针对Diffie-Hellman、RSA、DSS和其他系统实现的定时攻击。密码学进展。斯普林格。保罗·科彻。1996.针对Diffie-Hellman、RSA、DSS和其他系统实施的定时攻击。密码学进展。斯普林格。“}，{”key“：”e_1_3_2_36_1“，”volume-title“：”d.].curve25519-donna.Retrieved“，”author“：”Langley Adam“，”year“：”2018“，”unstructured“：”Adam Langley.[n.d.].curve25519-dongna.于2018年11月17日检索自https:\\/github.com\/agl \/curve25519-donna.Adam Landley.[n.d.]曲线25519-donna。2018年11月17日检索自https:\/\/github.com//agl\/curve25519-donna。“｝，｛”key“：”e_1_3_2_37_1“，”volume title“：”Retrieved“，”author“：”Langley Adam“，”year“：”2013“，”unstructured“：”Adam Langley.2013.ImperialViolet-对TLS CBC的幸运十三号攻击。2018年11月13日从https:\/\/www.imperialviole.org/2013\/02\/04\/luckythirten.html.Adam Langley.2013检索。帝国紫罗兰-幸运的十三次攻击TLS CBC。2018年11月13日检索自https:\/\/www.imperialviolet.org\/2013\/02\/04\/luckythirteen.html。“}，{”key“：”e_1_3_2_2_38_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/CSF.2013.11”}，“key”：“e_1_ 3_2_39_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/CSF.2012.30“}”，{。SSL\/TLS中CBC密码套件的安全性：问题与对策。https:\/\/www.openssl.org\/~bodo\/tls-cbc.txt。博多·穆勒。2004.SSL\/TLS中CBC密码套件的安全性：问题和对策。https:\/\/www.openssl.org\/~bodo\/tls-cbc.txt。“}，{”key“：”e_1_3_2_2_41_1“，”volume-title“：”信息安全与密码学“，”author“：”Molnar David“，“unstructured”：”David Molnar，Matt Piotrowski，David Schultz，and David Wagner.2006。程序反安全模型：自动检测和消除控制流侧通道攻击。信息安全和密码学。斯普林格。大卫·莫尔纳、马特·彼得罗夫斯基、大卫·舒尔茨和大卫·瓦格纳。2006.程序计数器安全模型：控制流侧信道攻击的自动检测和消除。信息安全和密码学。斯普林格。“}，{”key“：”e_1_3_2_2_42_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/292540.292561”}，“key”：“e_1_ 3_2_43_1”，“volume-title”：“已检索”，“作者”：“Myers Andrew C.”，“年份”：“2006”，“非结构化”：“Andrew C。迈尔斯（Myers）、郑蓝天（Lantian Zheng）、史蒂夫·兹丹塞维奇（Steve Zdancewic）、张志刚（Stephen Chong）和纳撒尼尔·奈斯特罗姆（Nathaniel Nystrom）。2006 . Jif：Java信息流。2018年11月15日检索自http://www.cs.connell.edu\/jif。Andrew C.Myers、Lantian Zheng、Steve Zdancewic、Stephen Chong和Nathaniel Nystrom。2006.Jif:Java信息流。2018年11月15日检索自http://www.cs.connell.edu\/jif。“｝，｛”key“：”e_1_3_2_44_1“，”doi asserted by“：”publisher“，”doi“：”10.1109\/SP.2017.53.OpenSSL。2018年11月17日检索自https:\/\/github.com/openssl\/openssl。“}，{”key“：”e_1_3_2_2_46_1“，”volume-title“：”RSA大会上的密码学家轨迹“，”author“：”Osvik Dag Arne“，”unstructured“：”Dag Arne-Osvick，Adi Shamir，and Eran Tromer.2006。缓存攻击与对策：AES案例。RSA大会上的密码技术培训。斯普林格。达格·阿恩·奥斯维克（Dag Arne Osvik）、阿迪·沙米尔（Adi Shamir）和埃兰·特罗姆（Eran Tromer）。2006.缓存攻击和对策：AES案例。在RSA大会上的加密技术领域。斯普林格。“}，{”key“：”e_1_3_2_2_47_1“，”volume-title“：”计算机安全基础研讨会（CSF）“，”author“：”Planul J\u00e9r\u00e9年“，”year“：”2013“，”unstructured“：”J\u00 e9r\u 00e9米Planul和John C.Mitchell.2013。不经意的程序执行和路径敏感的无干扰。2013年IEEE第26届计算机安全基础研讨会（CSF）。电气与电子工程师协会。J\u00e9r\u00e 9my Planul和John C.Mitchell。2013.不经意的程序执行和路径敏感的不干涉。在计算机安全基础研讨会（CSF）中，2013年IEEE第26届。电气与电子工程师协会。“}，{”key“：”e_1_3_2_48_1“，”volume-title“：”d.].Constant-Time Toolkit.Retrieved“，”author“：”Pornin Thomas“，”year“：”2018“，”unstructured“：”Thomas Pornin.[n.d.].Constant-Time Toolkit.于2018年11月15日从https:\/\/github.com/Pornin\/CTTK.Thomas Polnin.[n.d]检索.常量时间工具包。2018年11月15日检索自https:\/\/github.com//pornin\/CTTK。“}，{”key“：”e_1_3_2_2_49_1“，”volume-title“：”Retrieved“，”author“：”Pornin Thomas“，”year“：”2016“，”unstructured“：”Thomas Pornin.2016.Why Constant-Time Crypto？检索自https:\/\/www.bearssl.org\/constanttime.html.Thomas Pornin.2016。为什么使用常数时间加密？2018年11月15日检索自https:\/\/www.bearssl.org\/constanttime.html。“}，{”key“：”e_1_3_2_2_50_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/3110261”}，“key”：“e_1_ 3_2_51_1”，“volume-title”：“第24届USENIX安全研讨会。美国ENIX协会。”，“author”：“Rane Ashay”，“year”：“2015”，“unstructured”：“”阿沙·雷恩（Ashay Rane）、卡尔文·林（Calvin Lin）和莫希特·蒂瓦里（Mohit Tiwari）。2015 . 浣熊：通过模糊执行关闭数字侧通道。在第24届USENIX安全研讨会上。USENIX协会。Ashay Rane、Calvin Lin和Mohit Tiwari，2015年。浣熊：通过模糊执行关闭数字侧通道。在第24届USENIX安全研讨会上。USENIX协会。“}，{”key“：”e_1_3_2_2_52_1“，”volume-title“：”欧洲会议展览自动化与测试（DATE）.IEEE.“，”author“：”Reparaz Oscar“，”year“：”2017“，”unstructured“：”Oscar Reparas，Josep Balasch，and Ingrid Verbauwhede.2017.伙计，我的代码是恒定时间吗？2017年欧洲会议展览设计、自动化与测试IEEE标准。奥斯卡·雷帕拉兹（Oscar Reparaz）、约塞普·巴拉什（Josep Balasch）和英格丽德·维尔鲍维德（Ingrid Verbauwhede）。2017.老兄，我的代码是固定时间吗？。2017年欧洲设计、自动化和测试会议暨展览会（DATE）。电气与电子工程师协会。“}，{”key“：”e_1_3_2_2_53_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1653662.1653687”}，“key”：“e_1_ 3_2_54_1”，“volume-title”：“第25届编译器构造国际会议。ACM.”，”author“：”Rodrigues Bruno“，”unstructured“：”Bruno Rodrigues.，Fernando Magno Quint\u00e3o Pereira，and Diego F.Aranha.2016。隐式流的稀疏表示，并应用于并行通道检测。在第25届国际编译器构造会议上。ACM公司。布鲁诺·罗德里格斯（Bruno Rodrigues）、费尔南多·马格诺·昆特（Fernando Magno Quint\u00e3o Pereira）和迭戈·F·阿兰哈（Diego F.Aranha）。2016。隐式流的稀疏表示及其在侧信道检测中的应用。在第25届国际编译器构造会议上。ACM公司。“}，{”key“：”e_1_3_2_2_55_1“，”volume-title“：”Myers“，”author“：”Sabelfeld Andrei“，”year“：”2003“，”unstructured“：”Andrei Sabelfold and Andrew C.Myers.2003.基于语言的信息流安全性.IEEE Journal on Selected Areas in Communications（2003）.Andrei sabelfelds and Andrew.C.Myers.2003。基于语言的信息流安全。IEEE通讯选定领域杂志（2003年）。“}，{”key“：”e_1_3_2_2_56_1“，”volume-title“：”第三届IEEE欧洲安全与隐私研讨会。IEEE。“，”author“：”Simon Laurent“，”unstructured“：”Laurent Simon，David Chisnall，and Ross J.Anderson。2018。你得到的是你的C：控制主流C编译器中的副作用。在第三届IEEE欧洲安全与隐私研讨会上。电气与电子工程师协会。Laurent Simon、David Chisnall和Ross J.Anderson。2018.你得到的就是你C：控制主流C编译器的副作用。在第三届IEEE欧洲安全与隐私研讨会上。电气与电子工程师协会。“}，{”key“：”e_1_3_2_2_57_1“，”volume-title“：”Retrieved“，”author“：”Somorovsky Juraj“，”year“：”2016“，”unstructured“：”Juraj Somorowsky.2016.OpenSSL中的好奇填充预言（CVE-2016-2107）。2018年11月15日检索自https:\/\/web-in-security.blogspot.co.uk\/2016\/05\/Curious-Padding-oracle-in-OpenSSL-CVE.html。OpenSSL中的好奇填充预言（CVE-2016-2107）。2018年11月15日检索自https:\/\/web-in-security.blogspot.co.uk\/2016\/05\/curious-padding-oracle-in-openssl-cve.html。“}，{”key“：”e_1_3_2_2_58_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-40203-6_40”}，“key”：“e_1_ 3_2_59_1”，“volume-title”：“安全与信任的形式问题国际研讨会。Springer。”，“author”：“Sveningsson Josef”，“year”：“2009”，“unstructured”：“约瑟夫·斯文宁森和大卫·桑兹。2009 . 侧通道解密的规范和验证。在安全与信任的正式方面国际研讨会上。斯普林格。约瑟夫·斯文宁森和大卫·桑兹。2009.侧通道解密的规范和验证。在安全与信任的正式方面国际研讨会上。斯普林格。“}，{”key“：”e_1_3_2_2_60_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3133956.3134076”}，“key”：“e_1_ 3_2_61_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/647087.715705“}”，{“key“:”e_2_2_62_1“，{“key”：“e_1_3_2_2_63_1”，“volume-title”：“已检索”，“作者”：“WebAssembly社区组”，“年”：“2018年”，“非结构化”：“WebAssembly Community Group。2018 . WebAssembly网站。2018年11月15日检索自http://\/webassembly.org.webassembly Community Group。2018年，WebAssembly。2018年11月15日检索自http://\/webassembly.org.“}，{”key“：”e_1_3_2_2_64_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/3213846.3213851”}，“key”：“e_1_a_2_2_65_1”，“volume-title”：“2017 ACM SIGSAC计算机与通信安全会议论文集。ACM.”，”author“：”Ye Katherine Q.“，”unstructured“：”Katherine Q。Ye、Matthew Green、Naphat Sanguansin、Lennart Beringer、Adam Petcher和Andrew W.Appel。2017.验证了mbedTLS HMAC-DRBG的正确性和安全性。2017年ACM SIGSAC计算机和通信安全会议记录。ACM公司。Katherine Q.Ye、Matthew Green、Naphat Sanguansin、Lennart Beringer、Adam Petcher和Andrew W.Appel。2017.验证了mbedTLS HMAC-DRBG的正确性和安全性。2017年ACM SIGSAC计算机和通信安全会议记录。ACM公司。“}，{”key“：”e_1_3_2_2_66_1“，”volume-title“：”Myers“，”author“：”Zhang Danfeng“，”year“：”2015“，”unstructured“：”Danfeng Zhang，Yao Wang，G.Edward Suh，and Andrew C.Myers.2015.定时敏感信息流安全的硬件设计语言.ACM SIGPLAN Notices（2015）.Danfeng，Yao王，G.爱德华Suh，Andrew C.Myers.2015。一种用于定时敏感信息流安全的硬件设计语言。ACM SIGPLAN通知（2015）。“}，{”key“：”e_1_3_2_2_67_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2976749.2978324”}，“key”：“e_1_ 3_2_68_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145 \/3133956.3134043“}]，”event“：{”name“PLDI’19:第40届ACM SIGPLAN编程语言设计与实现会议”，“location”：“Phoenix AZ USA”，“缩写”：“PLDI’19”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组“]}，“container-title”：[“第40届ACM SIGPLAN编程语言设计与实现会议记录”]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3314221.3314605”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application“：”syndication“}，{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314605”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-plication”：“相似性检查”}]，“存放”：{“date-parts”：[2023,1,23]]，“日期-时间”：“2023-01-23T18:01:55Z”，“时间戳”：1674496915000}，“分数”：1，“资源“：{“primary”：{”URL“：”https:\/\/dl.acm.org/doi\/10.1145\/33142213314605“｝”，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2019,6,8]]｝，“引用次数”：65，“替代id”：[“10.1145\/33142213314605”，“10.1145\/3314221”]，“URL”：“http:\/\/dx.doi.org/10.1145\/33142213314605”，“关系”：｛｝，“主题”：[]，“已发布“：｛”日期部分“：[[2019,6,8]]｝，”断言“：[｛”value“：”2019-06-08“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}}