@misc{indiciaeb635671331d0,
  title = {Specification and Verification of Side Channel Declassification},
  author = {Josef Svenningsson and David Sands},
  year = {2009},
  url = {https://arxiv.org/abs/0912.2952},
  note = {Source identifier: 0912.2952}
}