@misc{indiciae6376f8825594,
  title = {Secrecy by Witness-Functions under Equational Theories},
  author = {Jaouhar Fattahi and Mohamed Mejri},
  year = {2018},
  doi = {10.1109/ecai.2015.7301205},
  url = {https://arxiv.org/abs/1801.01612},
  note = {Source identifier: 1801.01612}
}