SyNSec-den / DIKEUE
This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices" (CCS'21).
☆20Updated last year
Alternatives and similar repositories for DIKEUE:
Users that are interested in DIKEUE are comparing it to the libraries listed below
- A negative testing framework, DoLTEst, for finding non-standard-compliant bugs in LTE protocol implementations of UEs☆36Updated 2 years ago
- A collection of academic papers / Git repos / conference talks / frameworks / tools related to cellular security and privacy.☆136Updated last month
- A tool for comparing cellular layer 3 protocol messages between the specification documents and baseband implementations☆48Updated 4 years ago
- ☆43Updated last year
- ☆54Updated 5 years ago
- ☆50Updated 5 months ago
- An O-RAN compliant runtime intrusion detection system (xApp) for layer-3 (L3) celluar attack detection☆47Updated 5 months ago
- A tool for modifying and replaying 5G protocol network traffic using attack injection and fuzzing.☆88Updated last year
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated last week
- ☆18Updated 3 weeks ago
- ☆23Updated 6 months ago
- BaseComp: A Comparative Analysis for Integrity Protection in Cellular Baseband Software☆19Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- A black-box fuzzing framework for the Intent-Based Networking (IBN)☆13Updated last year
- A Python library to ease the development of encoders and decoders for various protocols and file formats, especially telecom ones. Provid…☆59Updated 2 months ago
- ☆89Updated 3 months ago
- ☆92Updated last year
- 4D Fuzzer is a fuzzer for fuzzing programs that use MAVLink written in Python3.☆11Updated 3 years ago
- Mobile Network Intelligence Made Easy -- MobileInsight core functionalities☆110Updated last year
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆32Updated last year
- ☆9Updated 4 years ago
- A tool that can be used to learn state machines from implementations.☆64Updated 4 years ago
- Samples of Shannon baseband firmware for research purposes.☆40Updated 3 years ago
- NEtwork MEssage Syntax analysYS (WOOT 2018) and NEtwork MEssage TYpe identification by aLignment (INFOCOM 2020)☆54Updated 10 months ago
- BLEDiff is an automated, scalable, property-agnostic, and black-box protocol noncompliance checker for BLE devices.☆12Updated 2 years ago
- Implementation of LTE downlink sniffer based on srsRAN library.☆12Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆50Updated 5 months ago
- asnfuzzgen - ASN.1 Structure-Aware Fuzzing Compiler