TY  - RPRT
TI  - On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions
AU  - Jaouhar Fattahi
AU  - Mohamed Mejri
AU  - Emil Pricop
PY  - 2019
DO  - 10.1109/ccece.2019.8861950
UR  - https://arxiv.org/abs/1903.00499
ID  - 1903.00499
ER  -