Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. - Andreea Scurtu; Mihai-Lica Pura (ECAI, 2019)