6 citations · 9 across the 12 of their papers we have counts for
4 papers · 1 filter
Compositional Synthesis of Leakage Resilient Programs
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
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 of leakage resilience is the…
Quantitative Information Flow as Safety and Liveness Hyperproperties
Hirotoshi Yasuoka, Tachio Terauchi
We employ Clarkson and Schneider's "hyperproperties" to classify various verification problems of quantitative information flow. The results of this paper unify and extend the prev…
On Bounding Problems of Quantitative Information Flow
Hirotoshi Yasuoka, Tachio Terauchi
Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the guessing entr…
Quantitative Information Flow - Verification Hardness and Possibilities
Hirotoshi Yasuoka, Tachio Terauchi
Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the guessing entr…