Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations
复制标题
基于噪声观测的自适应侧信道攻击的在线合成
DOI：
10.1109/eurosp.2018.00029
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
T. Bultan
中科院分区：
文献类型：
--
作者：
Lucas Bang;Nicolás Rosner;T. Bultan
我们提出了一种自动化的技术，用于合成自适应攻击，以从通过侧通道泄漏秘密数据的程序函数中提取信息。我们动态合成攻击步骤，并考虑嘈杂的程序环境。我们的方法包括一个离线分析阶段，使用符号执行，证人生成，和配置文件构建一个噪声模型。在我们的在线攻击合成阶段，我们使用加权模型计数和数值优化来自动合成攻击输入。我们的实验评估我们的方法的有效性DARPA的基准程序创建测试侧通道分析技术。
We present an automated technique for synthesizing adaptive attacks to extract information from program functions that leak secret data through a side channel. We synthesize attack steps dynamically and consider noisy program environments. Our approach consists of an offline profiling phase using symbolic execution, witness generation, and profiling to construct a noise model. During our online attack synthesis phase, we use weighted model counting and numeric optimization to automatically synthesize attack inputs. We experimentally evaluate the effectiveness of our approach on DARPA benchmark programs created for testing side-channel analysis techniques.
DOI：
10.1109/csf.2016.34
发表时间：
2016-08
期刊：
2016 IEEE 29th Computer Security Foundations Symposium (CSF)
影响因子：
--
作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
通讯作者：
C. Păsăreanu;Quoc-Sang Phan;P. Malacaria
DOI：
10.1145/1920261.1920300
发表时间：
2010-12
期刊：
--
影响因子：
--
作者：
J. Heusser;P. Malacaria
通讯作者：
J. Heusser;P. Malacaria
DOI：
10.1145/2382756.2382791
发表时间：
2012
期刊：
ACM SIGSOFT Software Engineering Notes
影响因子：
--
作者：
Phan Q
通讯作者：
Phan Q