@misc{indiciae21080c23b35a,
  title = {Compositional Synthesis of Leakage Resilient Programs},
  author = {Arthur Blot and Masaki Yamamoto and Tachio Terauchi},
  year = {2016},
  url = {https://arxiv.org/abs/1610.05603},
  note = {Source identifier: 1610.05603}
}