Fuzzinglabs's audits, publications, workshops and reports
☆29May 9, 2025Updated last year
Alternatives and similar repositories for publications
Users that are interested in publications are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- PWNable pyjail☆13Jan 13, 2025Updated last year
- My personnal repository☆10Sep 2, 2025Updated 10 months ago
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆109Mar 2, 2026Updated 4 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Make your zero-knowledge circuits safe with formal verification! 🍀☆34Updated this week
- Monitor and Control how Android Apps access your local storage. A great tool to investigate what files your apps put their eyes on.☆11Feb 5, 2024Updated 2 years ago
- SCTF 2023 kernel pwn && CVE-2023-3640☆29Jul 17, 2023Updated 3 years ago
- This repository was moved to https://github.com/rheo-xyz/rheo-solidity☆20Nov 12, 2025Updated 8 months ago
- Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.☆48Jul 14, 2026Updated last week
- Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.☆63Feb 4, 2025Updated last year
- ☆12Mar 22, 2024Updated 2 years ago
- A multi-fuzzer management utility for all of your Rust fuzzing needs 🧑🎤☆83Jun 25, 2026Updated 3 weeks ago
- A useful starting point for CFIs, students, and anyone hoping to learn more about aviation.☆16Jul 14, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generates a change log between different aosp tags. Based on the wonderful work of @alsutton☆15Jun 17, 2026Updated last month
- ARC4 (Alleged RC4) cryptography provider class library.☆10Dec 15, 2024Updated last year
- Tool Collection for AOSP and AAOS builds☆14Apr 15, 2025Updated last year
- SBPF virtual machine☆105Updated this week
- A modern, real-time monitoring dashboard built with FastAPI and Svelte. This application demonstrates real-time data streaming using Serv…☆19Mar 31, 2025Updated last year
- Code for S&P (Oakland) 2023 paper "GeeSolver: A Generic, Efficient, and Effortless Solver with Self-Supervised Learning for Breaking Text…☆14Feb 13, 2024Updated 2 years ago
- ☆14Aug 28, 2023Updated 2 years ago
- ☆51Jul 6, 2026Updated 2 weeks ago
- CMU Systems Programming course resources incl. course website, labs, schedule, & extra material. Books: "Computer Systems: A Programmer's…☆20Jul 18, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Telcoin Network protocol.☆21Updated this week
- BGraph is a tool designed to generate dependencies graphs from Android.bp soong files.☆21Sep 19, 2025Updated 10 months ago
- Low-level IR mutations for LLVM Bitcode☆44May 14, 2026Updated 2 months ago
- A simple Android application that demonstrates how the end-to-end encryption works.☆13Aug 28, 2020Updated 5 years ago
- Python package for Dempster-Shafer related computation☆15Mar 16, 2023Updated 3 years ago
- Example code of Embedded Programming with Android☆12Apr 20, 2015Updated 11 years ago
- LSPosed module to prevent Santander UK app from detecting Zygisk implementations☆29May 30, 2025Updated last year
- A utility helping developers to explorer SELinux policies☆17Mar 12, 2026Updated 4 months ago
- 📱 RUNIC tamper detection demo - designed to serve as a parallel for understanding more complex tamper detection and integrity systems su…☆17Apr 13, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Mar 10, 2020Updated 6 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆26Dec 23, 2025Updated 6 months ago
- VulnServer ROP: An Educational Platform for Exploring Buffer Overflow Vulnerabilities and Return-Oriented Programming Techniques☆18Apr 14, 2024Updated 2 years ago
- CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec☆16May 7, 2025Updated last year
- An intentionally vulnerable Android Application to demonstrate various vulnerabilities that airses in Android Components.☆47Apr 11, 2025Updated last year
- Reproduce ZKP vulnerabilities☆343Jul 1, 2026Updated 2 weeks ago
- ☆18Jul 18, 2024Updated 2 years ago