@misc{indiciae34550a3159a9,
  title = {Secrecy by Witness-Functions on Increasing Protocols},
  author = {Jaouhar Fattahi and Mohamed Mejri and Hanane Houmani},
  year = {2018},
  doi = {10.1109/ecai.2014.7090214},
  url = {https://arxiv.org/abs/1801.03597},
  note = {Source identifier: 1801.03597}
}