@misc{indiciae6746d43e7adc,
  title = {A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols},
  author = {Jaouhar Fattahi and Mohamed Mejri and Hanane Houmani},
  year = {2015},
  url = {https://arxiv.org/abs/1408.2774},
  note = {Source identifier: 1408.2774}
}