@misc{indiciaeb331db1ced4d,
  title = {Compositional properties of crypto-based components},
  author = {Maria Spichkova},
  year = {2014},
  url = {https://arxiv.org/abs/1405.3006},
  note = {Source identifier: 1405.3006}
}