Compositional Synthesis of Leakage Resilient Programs
Compositional Synthesis of Leakage Resilient Programs
复制标题
DOI：
10.1007/978-3-662-54455-6_13
复制
发表时间：
2016-10
影响因子：
6.4
通讯作者：
A. Blot;Masaki Yamamoto;Tachio Terauchi
中科院分区：
文献类型：
--
作者：
A. Blot;Masaki Yamamoto;Tachio Terauchi
防御侧信道攻击的一种有希望的方法是构建具有泄漏弹性的程序，在正式意义上。Ishai等人在开创性的工作中提出了阈值探测模型，这是泄漏弹性的一个正式概念。在最近的工作[9]中，Eldib和Wang提出了一种方法，可以根据该模型自动合成具有泄漏弹性的程序。在本文中，我们证明泄漏弹性的阈值探测模型具有一定的组合性，可以用于综合。我们利用这一特性设计了一种合成方法，该方法以组合的方式有效地合成了防泄漏弹性程序，适用于一般情况。我们已经实现了一个合成算法的原型，并通过综合从文献中提取的具有泄漏弹性的基准版本来证明其有效性。
A promising approach to defend against side channel attacks is to build programs that areleakage resilient, in a formal sense. One such formal notion of leakage resilience is then-threshold-probing modelproposed in the seminal work by Ishai et al. [16]. In a recent work [9], Eldib and Wang have proposed a method for automatically synthesizing programs that are leakage resilient according to this model, for the case. In this paper, we show that then-threshold-probing model of leakage resilience enjoys a certain compositionality property that can be exploited for synthesis. We use the property to design a synthesis method that efficiently synthesizes leakage-resilient programs in a compositional manner, for the general case of. We have implemented a prototype of the synthesis algorithm, and we demonstrate its effectiveness by synthesizing leakage-resilient versions of benchmarks taken from the literature.