I utilize the ProVerif tool for verifying the security of my authentication protocols. ProVerif is a highly regarded automatic analysis tool specifically designed to verify the security properties of cryptographic protocols. It covers essential security properties like secrecy, authentication, and anonymity. The tool supports various cryptographic primitives, including encryption, decryption, digital signatures, and hash functions. Additionally, ProVerif employs equations to model significant cryptographic problems such as the Diffie-Hellman problem and the Elliptic Curve problem. For further information and access to ProVerif binaries, you can visit the following link: link.
all projects code is there in the develop branch
- A lightweight and strongly secure two-factor authentication scheme for medical wireless sensor networks in healthcare systems
- A Light-Weight Three-Factor Anonymous Authentication Scheme with Privacy-Preserving for WSNs in the Industrial Internet of Things