Projects in Awesome Lists tagged with protocol-security
A curated list of projects in awesome lists tagged with protocol-security .
https://github.com/0xjonaseb11/security.3.0
Solidity smart contracts security | Beginner to Expert
defi protocol-security security smartcontracts solidity vulnerability-detection
Last synced: 30 Jul 2025
https://github.com/belajarqywok/xml_web_token
XWT (XML Web Token) is a personal experiment concept by modifying the JWT (JSON Web Token) algorithm into XML for the development of SOAP (Simple Object Access Protocol) security.
authentication experimental protocol-security research security soap-api
Last synced: 25 Aug 2025
https://github.com/logicalhacking/isabelle-ofmc
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
isabelle-hol ofmc protocol-security
Last synced: 09 Mar 2026
https://github.com/0xjonaseb11/adv_security.3.0
Advanced security | Exploitation of protocol vulnerabilities | Advanced smart contract seurity
auditing defi protocol-security security smartcontracts solidity vulnerability-detection
Last synced: 28 Dec 2025
https://github.com/jakuj/ofmc-parallel
Multicore OFMC implementation
model-checking ofmc protocol-security
Last synced: 17 Aug 2025
