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).
☆24Jun 7, 2023Updated 3 years ago
Alternatives and similar repositories for DIKEUE
Users that are interested in DIKEUE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Oct 24, 2024Updated last year
- A collection of academic papers / Git repos / conference talks / frameworks / tools related to cellular security and privacy.☆199Mar 6, 2026Updated 6 months ago
- ☆56Nov 9, 2019Updated 6 years ago
- A tool for SigOver, signal overshadowing attack on the LTE broadcast signals in physical domain.☆106May 31, 2022Updated 4 years ago
- Mobile Network Intelligence Made Easy -- MobileInsight core functionalities☆138Apr 19, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆46Jan 25, 2024Updated 2 years ago
- SCAT: Signaling Collection and Analysis Tool☆12Feb 24, 2024Updated 2 years ago
- ☆77Nov 14, 2024Updated last year
- An O-RAN compliant runtime intrusion detection system (xApp) for layer-3 (L3) celluar attack detection☆60Nov 4, 2024Updated last year
- An Automata Learning Library Written in Python☆248Updated this week
- A tool for comparing cellular layer 3 protocol messages between the specification documents and baseband implementations☆51Mar 2, 2021Updated 5 years ago
- ☆21Dec 18, 2013Updated 12 years ago
- ☆19Dec 16, 2020Updated 5 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years 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.
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated 2 weeks ago
- ☆12Feb 8, 2021Updated 5 years ago
- 用python画出一幅标准的五星红旗，庆祝国庆节！☆11Oct 14, 2022Updated 3 years ago
- ☆14Aug 19, 2026Updated last month
- Flutter Cell Info Plugin☆13Jun 25, 2026Updated 2 months ago
- DIAG parser and to GSMTAP converter☆68Nov 27, 2017Updated 8 years ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Step-By-Step instruction to setup VoLTE with Kamailio IMS, Open5GS core and SRS RAN☆32Aug 10, 2026Updated last month
- A Quick Research of Active Automata Learning☆38Mar 13, 2020Updated 6 years 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.
- 使用kprobe获取sys_execve参数☆12Jul 2, 2026Updated 2 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- The ASN.1 Compiler☆10Nov 14, 2023Updated 2 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A Radio Direction Finder program in C, to use on a Raspberry Pi and with 4 RTL_SDRr☆18Dec 7, 2023Updated 2 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆37Jan 14, 2022Updated 4 years ago
- initial exploit for CVE-2019-0708, BlueKeep CVE-2019-0708 BlueKeep RDP Remote Windows Kernel Use After Free The RDP termdd.sys driver im…☆12Sep 16, 2019Updated 7 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.
- Android demo client for thingsboard.☆11Apr 10, 2019Updated 7 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 5 months ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Advanced MITM Tool☆13Jul 27, 2025Updated last year
- ☆12Mar 25, 2020Updated 6 years ago
- Machine Learning-based tool for Cybersecurity Risk Assessment☆14Jul 18, 2021Updated 5 years ago