Messaging protocol test tools
☆16Dec 13, 2021Updated 4 years ago
Alternatives and similar repositories for MPInspector
Users that are interested in MPInspector are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using automata learning to mine models used for fuzzing of statefull systems☆24Apr 13, 2021Updated 5 years ago
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- Discover Non-Discoverable Bluetooth Classic devices☆14Oct 10, 2024Updated last year
- ☆15Nov 9, 2020Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated last year
- 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.
- Linux Auditing System logs pretty printer☆11Dec 22, 2019Updated 6 years ago
- Capture Project for Securing IoT Firmware Libraries☆11Jun 1, 2021Updated 5 years ago
- BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.☆13Mar 31, 2023Updated 3 years ago
- ☆15Feb 18, 2025Updated last year
- ☆10Mar 5, 2023Updated 3 years ago
- ☆10Feb 6, 2018Updated 8 years ago
- ☆100Dec 1, 2023Updated 2 years ago
- ☆13Mar 19, 2022Updated 4 years ago
- Exercises for CppCon 2018 class on parallelism☆12Oct 10, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- PATSQL - SQL Synthesizer☆15Sep 6, 2023Updated 2 years ago
- This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…☆11Aug 24, 2022Updated 3 years ago
- A collection of security papers on top-tier publications☆69Jun 8, 2026Updated last month
- An open source data storage, management, and actuation system for building-related data.☆15Updated this week
- ☆14Dec 30, 2021Updated 4 years ago
- Character Motion Style Transfer☆11Nov 7, 2018Updated 7 years ago
- Convert PHP code into PHP opcode, use GaussianNB for training☆10Mar 21, 2020Updated 6 years ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 6 months ago
- Some literature published on topics around IoT & Cybersecurity☆14Oct 13, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A list of curated papers focusing on Network Protocol Fuzzing.☆14Jul 5, 2022Updated 4 years ago
- This repository represents the official implementation of the mmHPE.☆15Oct 12, 2024Updated last year
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- QEMU-AVR32 OPS-SAT Emulator☆16Sep 28, 2023Updated 2 years ago
- Internet Draft for survey of technical mechanisms for censorship☆21Mar 29, 2023Updated 3 years ago
- A data-free backdoor detector for deep neural networks☆21Mar 8, 2023Updated 3 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆14Jan 6, 2026Updated 6 months ago
- IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)☆14Jan 30, 2019Updated 7 years 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.
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- The fuzzing framework named SHADOWFUZZER to find clientside vulnerabilities when processing incoming MQTT messages.☆20May 10, 2023Updated 3 years ago
- Seminar 2022☆25Mar 19, 2026Updated 4 months ago
- acoustic sensing platform☆12Apr 11, 2023Updated 3 years ago
- ☆18Jun 18, 2023Updated 3 years ago
- Beacon is a monitoring tool for HPC centers, and has been deployed on the current No.3 Sunway TaihuLight Supercomputer for over a year. W…☆21Dec 18, 2020Updated 5 years ago
- resources of Digital Image Processing Using MATLAB 2nd ed☆14Apr 1, 2018Updated 8 years ago