SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols.

Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski

Browse the full PDCAT paper archive.