Change the repository type filter
All
Repositories list
26 repositories
- Lightweight fuzzing of a memory snapshot using KVM
- Fuzzinglabs's audits, publications, workshops and reports
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
sputnikvm
Publicwasm_runtimes_fuzzing
PublicImproving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzingsui-fuzzer
Publicsui
Public- cairo-rs is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
risc0
Publicaleovera
Publiccairo-rs-py
Publicfzero_fuzzer
Publicfuzzilli
Publicfuzzilli4wasm
Publicidl2js
Public