EasyChair Smart Slide
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (System Description)
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (System Description)