抗泄漏程序的分步合成
密码学与安全
2016-10-31 v2
摘要
防御侧信道攻击的一种有前景的方法是构建在形式意义上具有抗泄漏性的程序。此类抗泄漏性的一个形式化概念是 Ishai 等人在其开创性工作中提出的-阈值探测模型。在近期的一项工作中，Eldib 和 Wang 提出了一种针对的情况自动合成符合该模型的抗泄漏程序的方法。在本文中，我们证明了抗泄漏性的-阈值探测模型具有某种可被用于合成的组合性质。利用该性质，我们设计了一种合成方法，能够以分步方式高效地合成适用于一般情况的抗泄漏程序。我们实现了该合成算法的原型，并通过合成文献中的基准测试程序的抗泄漏版本，展示了其有效性。
引用
@article{arxiv.1610.05603,
title = {Compositional Synthesis of Leakage Resilient Programs},
author = {Arthur Blot and Masaki Yamamoto and Tachio Terauchi},
journal= {arXiv preprint arXiv:1610.05603},
year = {2016}
}