TY  - RPRT
TI  - Compositional Synthesis of Leakage Resilient Programs
AU  - Arthur Blot
AU  - Masaki Yamamoto
AU  - Tachio Terauchi
PY  - 2016
UR  - https://arxiv.org/abs/1610.05603
ID  - 1610.05603
ER  -