{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,6,20]]，“日期时间”：“2024-06-20T15:10:49Z”，“时间戳”：1718896249918}，“引用计数”：40，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2018,7]]}，“DOI”：“10.1109\/csf.2018.00030”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2018,8,9]]，“date-time”：“2018-08-09T18:10:14Z”，“timestamp”：1533838214000}，“source”：”Crossref“，”is-referenced-by-count“：19，”title“：[”概率程序的符号边通道分析“]，”前缀“10.1109”，“author”：[{“给定”：“Pasquale”“，”家庭“：”马拉卡里亚“、“sequence”：“first”，“affiliation”：[]}，{“given”：“MHR”，“family”：“Khouzani”，“sequences”：“additional”，“filiation“：[]{”given“：”Corina S.“，”family“：”Pasareanu“，”sequence“：”additional“Luckow”，“sequence”：“附加”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref39”，“author”：“rane”，“year”：“2015”，“journal-title”：“浣熊通过模糊执行关闭数字侧频道”}，{“key”：”ref38“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10515-013-0122-2“}，”{“key”：“ref33”，“author”“mccamant”，“年份”：“2008”，“新闻标题”：“以网络流量为单位的定量信息流”｝，｛“key”：“ref32”，“doi断言”：“publisher”，“doi”：“10.3233\/JCS-130469”｝，｛“key”：“ref31”，“author”：“piotr”，“year”：“2014”，“期刊标题”：“为动态秘密量化信息流”｝，｛“key”：“ref30”，“author”：“mantel”，“year”：“2017”，“期刊标题”：“AES实现中缓存侧通道的系统研究”}，{“key”：“ref37”，“author”：“p？s？reanu”，“year”：“2016”，“journal-title”：“使用符号执行和Max-SMT的多运行侧通道分析”}、{“key”：”ref36“，“author”：“phan”，“年份”：“2017”，“日记标题”：“自适应侧通道攻击的合成”}，“year”：“2012”，“journal-title”：“使用广义增益函数测量信息泄漏”}，{“key”：“ref34”，“author”：“molnar”，“year:”2005“，”journal-title“：“The Program Counter Security Model Automatic Detection and Removal of Control-flow side Channel Attacks”}、{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/0471200611”}“，{”key“：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-77974-2”}，{“key”：“ref40”，“author”：“smith”，”年份“：“2009”，“journal-title”：“On the Foundations of Quantitative Information Flow”}：“第14届TACAS'08系统构建和分析工具和算法国际会议进程”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3319-18467-8_27”}、{“key”：”ref14“，“first page”：：“431”，“article-title”：“CacheAudit:Cache Side Channels静态分析工具”，“author”：“doychev”，“year”：“2013”，“journal-title”：“第22届USENIX安全会议SEC’13”}，{“key”：“ref15”，“article-title“：“CRIME攻击”，“author”：“duong”，“year”：“2012”，“journal-ttitle”：”在ekoparty安全会议上的演讲“}，”{“密钥”：“ref16”，“首页”：“622”，“article-title”：“符号探路者中的可靠性分析”，“作者”：“antonio”，“年份”：“2013年”，“journal-title”：“2013年国际软件工程大会ICSE’13”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2635868.2635899”}、{“密钥”：“ref18”，“doi-asserte-by”：“publisher”，“DI:”10.1145\/2338965.2336773 978-3-319-48989-6_25“}，{“键”：“参考4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-12002-2_32”}，{“key”：“ref28”，“author”：“ku？era”，”年份“：“2017”，“journal-title”：“概率隐私实施的综合”}，“doi”：“10.1109\/CSF.2010.8”}，{“键”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-57288-8_9”}，{“key”：“ref5”，“doi-asserte-by”：“publisher”，“DI:”10.1145\/266356.2594329“}，}“key:”ref29“，”doi-assert-by“：”publisher“publisher”，“doi”：“10.1109\/SP.2010.20”}，{“key”：“ref7”，“article-title”：“远程定时攻击实用”，“author”：“brumley”，“year”：“2003”，“journal-title”：“USENIX安全研讨会第12届会议的会议记录-第12卷SSYM'03”}，{“key”：“ref2”，“author”:“agosta”，“year”：《2007》，“jornal-tittle”：《分支目标缓冲区攻击对策》}，}“keys”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-11212-1_13”｝，｛“key”：“ref1”，“year”：“0”｝，｛“key”：“ref20”，“doi由”断言：“publisher”，“doi”：“10.1007\/3-5456-45661-9_21”｝，｛“key”：“ref22”，“doi由”断言：“publisher”，“doi”：“10.1145\/360248.36035252”｝，｛“key”：“ref21”，“doi由”断言：“publisher”，“doi”：“10.1109\/CSF”。2017.40“｝，｛”key“：”ref24“，”doi断言“：”publisher“，”doi“：“10.1007\/3-540-68697-5_9”}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2014.04.022”}82“}]，”事件“：{”名称“：“2018 IEEE第31届计算机安全基础研讨会（CSF）”，“位置”：“牛津”，“开始”：{“日期-部件”：[[2018,7,9]]}，“结束”：{“日期-零件”：[[2018,7,12]}}，”容器-标题“：[”2018 IEEE第一届计算机安全基础研讨会（CSV）“]，“原始标题”：[]，“链接”：[{“URL”：“http://explorestagin.iee.org\/ielx7\/842826\/8429284\/08429314.pdf？arnumber=8429314“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2018,8,28]]，”date-time“：“2018-08-28T00:23:04Z”，”timestamp“：1535415784000}，”score“：1，”resource“：”{“primary”：{“URL”：“https://ieeexplore.iee.org//document\/8429314 \/“}}，”副标题“：[]，”短标题“：[]，”发布“：{“date-parts”：[[2018,7]]}，“references-count”：40，“URL”：“http://\/dx.doi.org\/10.109\/csf.2018.00030”，“relation”：{}，”subject“：[]，”published“：{date-part”：[[2018,7]]}}