2
$\begingroup$

I'm looking for articles about finding bugs in security protocols using formal methods so I can test them using tools like proverif

I've searched a lot of references but most of them seem to be about formal methods itself and why we should use them not testing a particular security protocol.

Are there any security protocols that proved to have bugs using formal methods?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.