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?


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.