Projects in Awesome Lists tagged with proverif
A curated list of projects in awesome lists tagged with proverif .
https://github.com/darrenldl/proverif-atp
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
protocol-verification proverif security-protocol
Last synced: 16 May 2025
https://github.com/thomasarmel/rollback_car_attack_proverif
ProVerif proof of concept of the Rollback attack on car keyfob (CVE-2022-37418, CVE-2022-36945 and CVE-2022-37305)
attack car cve-2022-36945 cve-2022-37305 cve-2022-37418 fob proverif rollback
Last synced: 17 Mar 2026
https://github.com/fedi-e2ee/pkd-formal
Formal Verification and Requirements Traceability for the Public Key Directory Specification
duvet fediverse formal-verification key-transparency proverif public-key-directory
Last synced: 22 Feb 2026
https://github.com/koraa/proverif.vim
Basic proverif support for VIM files.
cryptography highlighting neovim proverif syntax vim
Last synced: 02 May 2026
