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 3 weeks ago
- ☆13Updated 5 months ago
- ☆24Updated 3 years ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆54Updated last year
- ☆15Updated last year
- A curated list of resources for learning about Web3☆16Updated last year
- Interactive documentation on zero-knowledge proof systems and related primitives.☆161Updated 2 weeks ago
- ☆13Updated 2 weeks 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
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month
- A mapping for open source cryptocurrency, blockchain, and decentralized audit reports and bug bounties☆34Updated 2 years ago
- ☆29Updated last year
- A query suite for common bug patterns in Cosmos SDK-based applications☆25Updated last year
- Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…☆32Updated last year
- Graveyard of past Web3 exploits☆21Updated 3 years ago
- ☆41Updated 2 months ago
- Collection of CTFs for Fun and Interviewing Applicants☆146Updated 6 months ago
- Eth2.0 spec in Dafny☆78Updated last year
- Public infra related to hosting Paradigm CTF☆113Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- This is the source code for https://clientdiversity.org, a resource site to assist client diversity efforts.☆23Updated last month
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆46Updated this week
- Security Audits by Informal Systems☆19Updated 3 weeks ago
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Updated 9 months ago
- Here is where I upload all the notes i take about the Ethereum world to share with everyone.☆23Updated 6 years ago
- ☆41Updated 2 years ago
- Learn Web3 development from Zero to Mastery. By the devs for devs.☆26Updated 2 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- examples and utilities of Dstack applications☆18Updated last week
- Interactive formal verification tool for Yul programs☆71Updated last week