@misc{indiciaee8e8de6c4aaa,
  title = {On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions},
  author = {Jaouhar Fattahi and Mohamed Mejri and Emil Pricop},
  year = {2019},
  doi = {10.1109/ccece.2019.8861950},
  url = {https://arxiv.org/abs/1903.00499},
  note = {Source identifier: 1903.00499}
}