FeDEX's starred repositories
smart-contract-vulnerabilities
A collection of smart contract vulnerabilities along with prevention methods
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
dlink-decrypt
D-Link firmware decryption PoC
universalmutator
Regexp based tool for mutating generic source code across numerous languages
afl-compiler-fuzzer
Variation of american fuzzy lop for testing compilers
firmware-mod-kit
Forked from https://code.google.com/p/firmware-mod-kit/
satml-llm-ctf
Code used to run the platform for the LLM CTF colocated with SaTML 2024
vyper-fuzz
Vyperlang compiler fuzzer
StegEncoder
Steganography tool for hiding secret messages inside images and audio, with an intuitive GUI and a robust encryption scheme.
smart-contract-taint-analysis
Static taint analyzer for Ethereum smart contracts written in Solidity