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
Apr 2, 2026 - Python