Compositional Synthesis of Leakage Resilient Programs

Blot, A; Yamamoto, M; Terauchi, T

Terauchi, T (reprint author), JAIST, Nomi, Japan.

PRINCIPLES OF SECURITY AND TRUST (POST 2017), 2017; 10204 ( ): 277

Abstract

A promising approach to defend against side channel attacks is to build programs that are leakage resilient, in a formal sense. One such formal notion......

Full Text Link