文件大小：268 kB 2页
使用模型计数约束求解器和符号执行进行边信道分析（受邀演讲）
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0 Unported许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
边通道 定量信息流 符号执行 模型计数 约束解算器
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Abdulbaki Aydin、Lucas Bang和Tevfik Bultan。 字符串约束的基于自动的模型计数。 第27届计算机辅助验证国际会议（CAV）会议记录，第255-272页，2015年。 
-
Michael Backes、Boris Kopf和Andrey Rybalchenko。 自动发现和量化信息泄漏。 2009年第30届IEEE安全与隐私研讨会论文集，SP'09，第141-153页，美国华盛顿特区，2009年。 IEEE计算机学会。
-
Lucas Bang、Abdulbaki Aydin、Quoc-Sang Phan、Corina S.Pasareanu和Tevfik Bultan。 分段甲骨侧通道的字符串分析。 在2016年第24届ACM SIGSOFT软件工程基础国际研讨会论文集上。
-
莱昂纳多·门登萨·德·莫拉和尼古拉·比约纳。 Z3：高效的SMT求解器。 2008年3月29日至4月6日，在匈牙利布达佩斯举行的第14届欧洲软件理论与实践联合会议（ETAPS 2008）上，TACAS 2008第14届国际系统构建与分析工具与算法会议记录，第337-340页。
-
Boris Köpf和David A.Basin。 自适应侧信道攻击的信息论模型。 2007年10月28日至31日，美国弗吉尼亚州亚历山大市，CCS 2007，2007年ACM计算机和通信安全会议记录，第286-296页。
-
Jesús A.De Loera、Raymond Hemmecke、Jeremiah Tauzer和Ruriko Yoshida。 有理凸多面体中的有效格点计数。 符号计算杂志，38（4）：1273-13022004。 代数和几何中的符号计算。
-
Corina S.PéSéreanu、Quoc-Sang Phan和Pasquale Malacaria。使用符号执行和Max-SMT的多运行副通道分析。 2016年IEEE第29届计算机安全基础研讨会论文集，2016年CSF’16，美国华盛顿特区。 IEEE计算机学会。
-
科琳娜·S·P·S·雷纳、威廉·维瑟、大卫·布什内尔、杰科·盖尔登胡伊斯、彼得·梅利茨和尼哈·朗塔。 符号PathFinder：将符号执行与Java字节码分析的模型检查集成在一起。 自动化软件工程，第1-35页，2013年。