some C++ programs made for the course MAN-106
-
Updated
Apr 12, 2018 - C++
#
iit-roorkee
Here are 4 public repositories matching this topic...
some Fortran 77 programs made for the course PHN-311
-
Updated
Nov 20, 2017 - Fortran
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
Post-Quantum TLS 1.3 implementation with NIST PQC standards (ML-KEM-768 + ML-DSA-65). Performance evaluation and comparison with classical TLS. Task 2 submission for IIT Roorkee Formal Verification course.
python cybersecurity post-quantum-cryptography dilithium kyber nist-pqc iit-roorkee ml-kem ml-dsa tls-1-3
-
Updated
Apr 2, 2026 - Python
Improve this page
Add a description, image, and links to the iit-roorkee topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the iit-roorkee topic, visit your repo's landing page and select "manage topics."