#proverif

Stop calling ProVerif and Tamarin provers, paper urges

Nadim Kobeissi’s preprint says soundness gaps and solver bugs mean tool output is analysis, not proof, yet papers and audits still treat a clean run as settled security.