@InProceedings{LT19, Author = "Li, D.L. and Tiu, A.", Year = "2019", Title = "{Combining ProVerif and Automated Theorem Provers for Security Protocol Verification}", Editor = "Fontaine, P.", BookTitle = "{Proceedings of the 27th International Conference on Automated Deduction}", Place = "Natal, Brazil", Series = "Lecture Notes in Computer Science", Number = "11716", Pages = "354-365", Publisher = "Springer-Verlag", Comment = "TPTPRef" }