security-protocols

Here are 2 public repositories matching this topic...

shamanthwick / tamarin-rule-generator

AI-powered tool that converts protocol diagrams (PNG, PDF) into formal Tamarin verification models. Task 1 submission for IIT Roorkee Formal Verification course.

python ocr artificial-intelligence cybersecurity formal-verification tamarin-prover protocol-verification security-protocols ai-tools iit-roorkee

Updated Jun 3, 2026
Python

nabiha-kinda-codes / Crypto-Protocol-Classifier

Star

ML classifier that predicts security flaws in cryptographic protocol designs using structural features like nonce usage, mutual authentication, and key freshness checks, trained and tested on real protocols including Needham-Schroeder, WPA2, TLS, and Kerberos

python machine-learning cryptography scikit-learn cybersecurity logistic-regression network-security random-forest-classifier security-protocols protocol-analysis

Updated Oct 2, 2026
Python

Add this topic to your repo

To associate your repository with the security-protocols topic, visit your repo's landing page and select "manage topics."

Learn more