olympix / integrated-securityLinks
Perform code analysis to detect potentially dangerous vulnerabilities
☆13Updated last year
Alternatives and similar repositories for integrated-security
Users that are interested in integrated-security are comparing it to the libraries listed below
Sorting:
- ☆13Updated 2 months ago
- ☆24Updated 3 years ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆55Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆169Updated 2 months ago
- A curated list of awesome blockchain security resources☆26Updated last year
- ☆29Updated last year
- ☆15Updated last year
- Official Shardeum Documentation☆14Updated last week
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 3 months ago
- ☆242Updated last year
- Cairo/Starknet smart contract fuzzer☆129Updated 5 months ago
- ☆14Updated 3 weeks ago
- Public infra related to hosting Paradigm CTF☆114Updated last year
- Collection of CTFs for Fun and Interviewing Applicants☆149Updated 8 months ago
- ☆13Updated 2 years ago
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆27Updated last year
- Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…☆32Updated last year
- ☆15Updated 2 months ago
- Static Analyzer for Starknet smart contracts☆146Updated last year
- Graveyard of past Web3 exploits☆21Updated 3 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆98Updated last year
- ☆34Updated 3 months ago
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆50Updated last week
- Here is where I upload all the notes i take about the Ethereum world to share with everyone.☆23Updated 6 years ago
- The purpose of this repo is to list all the related Research Papers focused on Smart-contracts security topics. As well as listing all th…☆44Updated 4 years ago
- ☆37Updated last year
- ☆83Updated this week
- Horus, a formal verification tool for StarkNet smart contracts.☆76Updated 3 months ago
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Updated 10 months ago