Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski. SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. In 20th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2019, Gold Coast, Australia, December 5-7, 2019. pages 320-327, IEEE, 2019. [doi]
Abstract is missing.