Author of the publication

Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose?

, , , , and . SMC, page 2649-2654. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Secrecy by Witness-Functions on Increasing Protocols., , and . CoRR, (2018)Fusion of ANN and SVM Classifiers for Network Attack Detection., , , and . CoRR, (2018)Authentication by Witness Functions., , and . Trustcom/BigDataSE/ISPA, page 1990-1997. IEEE, (2016)Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions., , and . SMC, page 1189-1196. IEEE, (2015)Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context., , , , , and . SMC, page 1127-1132. IEEE, (2017)SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques., and . CSP, page 107-112. IEEE, (2021)Circular Antenna Array Design for Breast Cancer Detection., , , , , and . CoRR, (2018)SpaML: a Bimodal Ensemble Learning Spam Detector based on NLP Techniques., and . CoRR, (2020)Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications., , , and . Information, 11 (3): 130 (2020)$K$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications., , and . FPS, volume 13291 of Lecture Notes in Computer Science, page 321-337. Springer, (2021)