security-protocols

This is engineered with a focus on security, scalability, and user experience, providing a robust and flexible framework that empowers creators to launch innovative tokens seamlessly while offering traders a reliable and engaging platform for active participation in the decentralized economy.

Formal Verification of Security Protocols

A minimal, practical collection of network security protocol implementations.

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

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

A SageMath implementation of Edwards-Curve Digital Signature Algorithm (EdDSA), featuring secure key generation, signing, and verification. Focused on Cryptographic Primitives and highly efficient, scalable algorithms.

Jarvis is an attempt to create a Open source virtual assistant that can talk and resolve queries in a more humanly manner

This project uses secp256k1, keccak256 hashing, and BIP39 for generating vanity addresses, implementing secure cryptographic operations and creating mnemonic phrases.

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

Computes the weakest trust a security protocol needs for a goal: the minimal ways to stop all of its minimal attacks (OCaml; bounded Dolev-Yao analyser and CPSA oracle)