Andreea Scurtu, Mihai-Lica Pura. Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. In 11th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2019, Pitesti, Romania, June 27-29, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.