A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis
☆16Oct 19, 2022Updated 4 years ago
Alternatives and similar repositories for wifi-learner
Users that are interested in wifi-learner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic Protocol State Fuzzer☆15Updated this week
- Main repo for ESORICS 2025 paper “LibAFLstar: Fast, State-aware Protocol Fuzzing”☆24Sep 13, 2025Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 5 years ago
- ☆32Nov 29, 2022Updated 3 years ago
- ☆12Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Java library for CBOR, COSE, CWT and mdoc☆28Dec 22, 2025Updated 10 months ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 2 months ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- Install Jailbreak tweaks without the hassle (iOS Version, Electra [iOS 11 - 11.1.2] Jailbreak Toolkit)☆12Feb 5, 2018Updated 8 years ago
- Proof-of-concept web app built on top of Frida☆22Apr 11, 2015Updated 11 years ago
- GeoHash implementation for Neo4j graph database☆10Aug 10, 2015Updated 11 years ago
- afl-cov successor - simpler and using modern llvm tools☆28Oct 15, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
- ☆30Nov 5, 2025Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A collection of awesome penetration testing resources, tools and other shiny things☆14Oct 10, 2017Updated 9 years ago
- A free, open-source Java library for automata learning algorithms☆241Sep 24, 2026Updated last month
- ☆23Feb 18, 2025Updated last year
- Packed Malware Analyzer (PACKMAN)☆12Jan 31, 2016Updated 10 years ago
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- ☆14Aug 22, 2023Updated 3 years ago
- A collection of IDA Python scripts, useful for reverse engineering☆13Sep 4, 2012Updated 14 years ago
- An OS for RPi 4 to jailbreak using checkra1n (based on Raspberry Pi OS)☆17Oct 30, 2026Updated last week
- ☆22Updated this week
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆18Mar 19, 2026Updated 7 months ago
- OS X Framework, custom implementation of NSMenu and NSMenuitem☆27Oct 10, 2015Updated 11 years ago
- API wrapper for generating ACH (Automated Clearing House) files for use within the ACH network☆12Mar 22, 2020Updated 6 years ago
- A semi-restore Alternative for iOS 10.☆26Nov 27, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- NACHO - National Automated Clearing House Objects, a C# library for the NACHA ACH input file structure☆14Aug 6, 2021Updated 5 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆19Aug 8, 2024Updated 2 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆13Aug 17, 2017Updated 9 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago