Verifpal 1.5: Auditing the Verifier with Frontier AI Models
Verifpal 1.5 is out: an audit with frontier AI models fixes false reports, missed attacks, and a crash. We also explain how Verifpal compares with ProVerif and Tamarin.
17 min readAI.
1 post tagged “AI”.