@article{DBLP:journals/corr/abs-1903-00499,
  author       = {Jaouhar Fattahi and
                  Mohamed Mejri and
                  Emil Pricop},
  title        = {On the Security of Cryptographic Protocols Using the Little Theorem
                  of Witness Functions},
  journal      = {CoRR},
  volume       = {abs/1903.00499},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.00499},
  eprinttype    = {arXiv},
  eprint       = {1903.00499},
  timestamp    = {Sat, 30 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-00499.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"crEQER9yEzjggFYNe","bibbaseid":"fattahi-mejri-pricop-onthesecurityofcryptographicprotocolsusingthelittletheoremofwitnessfunctions-2019","author_short":["Fattahi, J.","Mejri, M.","Pricop, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jaouhar"],"propositions":[],"lastnames":["Fattahi"],"suffixes":[]},{"firstnames":["Mohamed"],"propositions":[],"lastnames":["Mejri"],"suffixes":[]},{"firstnames":["Emil"],"propositions":[],"lastnames":["Pricop"],"suffixes":[]}],"title":"On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions","journal":"CoRR","volume":"abs/1903.00499","year":"2019","url":"http://arxiv.org/abs/1903.00499","eprinttype":"arXiv","eprint":"1903.00499","timestamp":"Sat, 30 Mar 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1903-00499.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1903-00499,\n author = {Jaouhar Fattahi and\n Mohamed Mejri and\n Emil Pricop},\n title = {On the Security of Cryptographic Protocols Using the Little Theorem\n of Witness Functions},\n journal = {CoRR},\n volume = {abs/1903.00499},\n year = {2019},\n url = {http://arxiv.org/abs/1903.00499},\n eprinttype = {arXiv},\n eprint = {1903.00499},\n timestamp = {Sat, 30 Mar 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1903-00499.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fattahi, J.","Mejri, M.","Pricop, E."],"key":"DBLP:journals/corr/abs-1903-00499","id":"DBLP:journals/corr/abs-1903-00499","bibbaseid":"fattahi-mejri-pricop-onthesecurityofcryptographicprotocolsusingthelittletheoremofwitnessfunctions-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1903.00499"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/141/8033.bib","dataSources":["WKGTRRZ82WRAAb4BL","hJ9b6eCN8bT9KvtQ6"],"keywords":[],"search_terms":["security","cryptographic","protocols","using","little","theorem","witness","functions","fattahi","mejri","pricop"],"title":"On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions","year":2019}