Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".
☆13Oct 12, 2018Updated 7 years ago
Alternatives and similar repositories for asiaccs-discovering-logical-vulnerabilities
Users that are interested in asiaccs-discovering-logical-vulnerabilities are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Golang 判断 Web 页面相似度（XML/Json/HTML/RawText）☆10Feb 19, 2019Updated 7 years ago
- Security papers about software vulnerabilities and exploits☆14Jan 16, 2019Updated 7 years ago
- Web-based Modeling and Test-Generation Tool☆10Oct 30, 2019Updated 6 years ago
- Wi-Fi Surveying: wardriving, datasets, statistics, tools, and more.☆16Oct 10, 2023Updated 2 years ago
- 使用OpenCV+Tensorflow实现游戏中车辆的自动驾驶☆11Dec 12, 2018Updated 7 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.
- Collection of Nmap scripts☆10Nov 27, 2015Updated 10 years ago
- A simple python scanner to detect vulnerable hosts in your net☆21May 15, 2017Updated 8 years ago
- Context-Aware Correlation Filter Layer☆14Jul 26, 2019Updated 6 years ago
- Some NSE scripts to search information from routers☆10Nov 18, 2015Updated 10 years ago
- libflutter.so(s) modified for traffic intercepting removing certificate pinning validation. Dart version is 2.10.5☆12Jul 11, 2021Updated 4 years ago
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 7 years ago
- The repository contains the python implementation of the Android Malware Detection paper: "Empirical assessment of machine learning-based…☆24Oct 3, 2017Updated 8 years ago
- Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.☆15Oct 3, 2024Updated last year
- CBC Bit-Flipping Attack Example with Python☆13Jun 14, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Learning Attentions: Residual Attentional Siamese Network for High Performance Online Visual Tracking☆17Jul 19, 2019Updated 6 years ago
- A framework for evaluating Website Fingerprinting attacks/defences, accompaining the paper "Bayes, not Naïve: Security Bounds on Website …☆25Jun 17, 2024Updated last year
- A string deobfuscator for Android applications using backwards program slicing☆15Aug 10, 2019Updated 6 years ago
- Wi-Fi MFP Deauthentication: proof-of-concepts, security patches, and more.☆33Apr 15, 2023Updated 2 years ago
- Leveraging CVE-2018-19788 without root shells☆19Dec 18, 2018Updated 7 years ago
- 思维导图 xmind 转换为 excel 测试用例☆21Apr 2, 2020Updated 6 years ago
- An implementation of Oculus' firmware update services from the Oculus Quest 2 in nodejs. Features were reverse engineered from the offici…☆15Jan 7, 2022Updated 4 years ago
- FANCI is a prototype implementation of a machine learning based classification engine for non-existent domains to detect domain gernation…☆30Aug 23, 2018Updated 7 years ago
- The Decompressoin tool for Vxworks MINIFS☆14May 18, 2021Updated 4 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.
- Mscgen in LaTeX☆21Oct 1, 2020Updated 5 years ago
- Android Push notifications SDK for IBM Cloud Mobile Services☆10Apr 30, 2021Updated 4 years ago
- Trace jni calls with eBPF on Android☆24Jun 21, 2022Updated 3 years ago
- PDiff: Semantic-based Patch Presence Testing for Downstream Kernels☆14Nov 8, 2020Updated 5 years ago
- copy of original for audit. will be remove soon☆14Mar 6, 2020Updated 6 years ago
- Module for parsing radiotap headers in python☆22May 6, 2023Updated 2 years ago
- Repository for the paper "Adversarial Variational Optimization of Non-Differentiable Simulators"☆16Dec 17, 2018Updated 7 years ago
- Free contents converter for publishing your digital garden.☆17Nov 1, 2025Updated 5 months ago
- Fork of Synacktiv's private Lumina server☆21Feb 22, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- Phantom eye——A passive business logic vulnerability auditing tool☆52Mar 25, 2019Updated 7 years ago
- A toolkit for helping you reverse engineer ESP32 firmware.☆20May 8, 2023Updated 2 years ago
- Exploits of different CVE IDs (CVE-2021-37910, CVE-2021-40288, CVE-2021-41435, CVE-2021-41436, CVE-2021-41437, CVE-2021-41441, CVE-2021-4…☆17Oct 19, 2022Updated 3 years ago
- Load function names from an IDA Pro database inside GDB☆21Oct 20, 2018Updated 7 years ago
- Universal Radio Hacker (urh) plugin to decode cc1101 messages, which uses the cc1101 FEC (forward error correction) feature☆39Jun 8, 2017Updated 8 years ago
- Wi-Fi Framework for creating proof-of-concepts, automated experiments, test suites, fuzzers, and more.☆252Apr 18, 2025Updated 11 months ago