@misc{indiciaec4ced27ceb8f,
  title = {Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?},
  author = {Jaouhar Fattahi and Mohamed Mejri and Marwa Ziadia and Takwa Omrani and Emil Pricop},
  year = {2017},
  doi = {10.1109/smc.2017.8123025},
  url = {https://arxiv.org/abs/1707.09078},
  note = {Source identifier: 1707.09078}
}