{“status”:“ok”,“message type”:“work”,“message version”:“1.0.0”,“message”:{“indexed”:{“date parts”:[[2023,6,6]],“date-time”:“2023-06-06T20:52:28Z”,“timestamp”:1686084748603},“reference count”:17,“publisher”:“Association for Computing Machinery(ACM)”,“issue”:“4”,“license”:[{“start”:{“date parts”:[[2019,12,12]],“date-time”:“2019-12-12T00:00:00Z”,“timestamp”:1576108800000},“content-version”:“vor”,“delay-in-days”:10,“URL”:“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}],“content-domain”:{“domain”:[“dl.acm.org”],“crossmark-restriction”:true},”short-container-title“:[”SIGSOFT Softw.Eng.Notes“],”published-print“:{”date-parts“:[2019,12,2]]},“抽象”:“信息泄漏是现代软件系统中的一个重要问题。侧通道导致的信息泄漏尤其难以检测和分析。近年来,已经开发了用于自适应侧信道攻击的自动合成的技术,该自适应侧信道攻击通过迭代地生成输入以基于侧信道观测揭示关于秘密的部分信息来恢复秘密值。攻击合成的主要方法使用符号执行、模型计算和元神经来最大化信息增益。这些方法可以通过重用每个步骤中前面步骤的结果而受益。在本文中,我们提出了一种增量攻击合成方法,该方法重用每个攻击步骤中先前迭代的模型计数结果,以提高效率。实验评估表明,我们的方法大大提高了性能,将攻击合成时间减少了一个数量级<\/jats:p>“,”DOI“:”10.1145\/3364455759“,”type“:”journal-article“,”created“:{”date-parts“:[[2019,12,13]],”date-time“:”2019-12-13T14:08:57Z“,”timestamp“:1576246137000},”page“:“:4,”title“:[”Incremental Attack Synthesis“],”prefix“:”10.1145“,”卷“:”44“,”作者“:[{”给定“:”Seemanta“,”家庭“:”Saha“,”序列“:”first“,”affiliation“:[}”name“:”加利福尼亚大学,加州圣巴巴拉,美国“}]},{”given“:”William“,”family“:”Eiers“,”sequence“:”additional“,”filiation dron“,”sequence“:”additional“,”affiliation“:[{”name“:”University of California,Santa Barbara,CA,USA“}]},{”given“:”Lucas“,”family“:”Bang“,”sequence”:“additional”,“affiliance”:[{name“:“Harvey Mudd College,Claremont,CA,US”}]},{“given”:“Tevfik”,“family”:“Bultan”,“sequence(序列):”addressive“,“afliation”:[}“name”:“”美国加利福尼亚大学圣巴巴拉分校“}]}”,“成员”:“320”,“在线发布”:{“日期-部分”:[[2019,12,12]]},“参考”:[{“密钥”:“e_1_2_1_1_1”,“非结构化”:“https:\/\/github.com\/Apogee-Research\/STAC\/tree\/master\/Engagement_Challenges.https:\//github.com/Apogee-Research\_STAC\/stree\/messer\/Enagement_Charlenges.“},{”键“:”e_1_2_1_2_1”,“doi由”断言:“publisher”,“doi”:“10.1007\/978-3-319-21690-4_15”},{“key”:“e_1_2_3_1”,“doi由”断言:“publisher”,“doi”:“10.1145\/32360243236064”},{“key”:“e_1_2_4_1”,“doi由”断言:“publisher”,“doi”:“10.1109\/CF.2012.24”},{“key”:“e_1_1_5_1”,“doi由”断言publisher”,“doi”:“10.1145\/22950290.2950362”},{“密钥”:“e_1_2_1_6_1“,“doi-asserted-by”:“publisher”,“doi”:“10.1109\/EuroSP.2018.00029”},{“key”:“e_1_i_1_7_1”,”doi-assert-by“:”publisher“,”doi“:”10.5555\/2041225.2041253“},”{“密钥”:“e_1_2_1_8_1”、“doi-ssertd-by”:“publisher”,“doi”:”10.1109\/ASE.2019.0050“}”,{”key“:”e_2_2_9_1“,”doi-asserted-by“:”publisher“,”doi“:”10.1145\/1315245.1315282“},{”key“:”e_1_2_1_10_1“,”doi-asserted-by“:”publisher“,“doi”:“10.1145”,“2666356.2594331”},{“key”:“e_1_i_1_11”,“unstructured”:“Taylor Nelson。openid实现中广泛存在的计时漏洞。http://lists.openid.net\/pipermail\/openid-security\/2010-7月\/001156.html 2010。泰勒·纳尔逊。openid实现中广泛存在的计时漏洞。http:\/\/lists.openid.net\/pipermail\/openid-security\/2010-7月\/001156.html 2010.“},{“key”:“e_1_1_12_1”,“doi-asserted-by”:“publisher”,”doi“:“10.1109\/CSF.2017.8”},“key“:”e_2_1_13_1“,”doi-assert-by“:”publisher“,doi-asserted-by“:”publisher“,”doi“:”10.1007 \/s10515-013-0122-2“},{”key“:”e_1_2_1_15_1“,”volume-title“:”Ekoparty Security Conference“,“author”:“Rizzo J.”,“year”:“2012”},{“key”:“e_1_cu1_16_1”,”doi-asserted-by“:”publisher“,‘doi’:“10.1145\/3282517.3282527”}“,{”key“:”e_1_ 1_17_1“Smith Geo“,”year“:”2009“}],”container-title“:[”ACM SIGSOFT Software Engineering Notes“],”original-title”:[],”language“:”en“,”link“:[{”URL“:”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/336445759“,”content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”similarity-checking“}]“deposed”:{“date-parts”“:[2023,1,1]],”date-time“:”2023-01-01T11:41:31Z“,”timestamp“:1672573291000},”score“:1,”resource“:{主要”:{“URL”:“https:\/\/dl.acm.org\/doi\/10.1145\/3364452.336445759”}},“副标题”:[],“短标题”:[],“已发布”:{“日期部分”:[[2019,12,2]},‘参考计数’:17,‘日志发布’:{‘发布’:“4”,“published-print”:{“date-parts”:[[2019,12,2]}},“alternative-id”:[“10.1145\/3364455759“],“URL”:“http://\/dx.doi.org\/10.1145\/336452.336445759”,“关系”:{},“ISSN”:[“0163-5948”],“ISSN-type”:[{“值”:“01635948”,“类型”:“打印”}],“主题”:[],“发布”:{“日期部分”:[2019,12,2]},”断言“[{”值“:”2019-12-12“,”订单“:2,”名称“:”发布“,”标签“:”已发布“,“组”:{“名称”:“publication_history”,“标签“:”出版物历史“}}]}}