Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".
☆13Oct 12, 2018Updated 8 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☆15Jan 16, 2019Updated 7 years ago
- 使用OpenCV+Tensorflow实现游戏中车辆的自动驾驶☆11Dec 12, 2018Updated 7 years ago
- Web-based Modeling and Test-Generation Tool☆10Oct 30, 2019Updated 7 years ago
- Collection of Nmap scripts☆11Nov 27, 2015Updated 10 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.
- This Python script automates the installation of essential penetration testing tools on Debian-based Linux distributions (e.g., Ubuntu). …☆13May 31, 2026Updated 4 months ago
- A simple python scanner to detect vulnerable hosts in your net☆21May 15, 2017Updated 9 years ago
- Context-Aware Correlation Filter Layer☆13Jul 26, 2019Updated 7 years ago
- Run or debug a piece of ARM machine codes in the emulator controlled through GDB.☆12Nov 7, 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 9 years ago
- Safe Rust bindings to Zygisk for writing a Zygisk module in Rust.☆10Mar 20, 2022Updated 4 years ago
- libflutter.so(s) modified for traffic intercepting removing certificate pinning validation. Dart version is 2.10.5☆12Jul 11, 2021Updated 5 years ago
- Wi-Fi Surveying: wardriving, datasets, statistics, tools, and more.☆21Oct 10, 2023Updated 3 years ago
- Learning Attentions: Residual Attentional Siamese Network for High Performance Online Visual Tracking☆17Jul 19, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.☆15Oct 3, 2024Updated 2 years ago
- CBC Bit-Flipping Attack Example with Python☆13Jun 14, 2023Updated 3 years ago
- Wi-Fi Framework for creating proof-of-concepts, automated experiments, test suites, fuzzers, and more.☆261Apr 18, 2025Updated last year
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- A framework for evaluating Website Fingerprinting attacks/defences, accompaining the paper "Bayes, not Naïve: Security Bounds on Website …☆26Jun 17, 2024Updated 2 years ago
- 思维导图 xmind 转换为 excel 测试用例☆21Apr 2, 2020Updated 6 years ago
- A string deobfuscator for Android applications using backwards program slicing☆15Aug 10, 2019Updated 7 years ago
- ☆10May 31, 2018Updated 8 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 8 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.
- Everything you need to get your next Unicorn-for-x startup off the ground.☆10Nov 26, 2018Updated 7 years ago
- Android Push notifications SDK for IBM Cloud Mobile Services☆10Apr 30, 2021Updated 5 years ago
- The Decompressoin tool for Vxworks MINIFS☆14May 18, 2021Updated 5 years ago
- The official implementation of LibvDiif, a paper accepted by ICSE 2024.☆14Mar 11, 2024Updated 2 years ago
- Generates the training data for hierarchical inference of strongly-lensed systems with Bayesian neural networks☆11Jan 28, 2021Updated 5 years ago
- Line of sight mass reconstruction in the Universe☆10Dec 20, 2016Updated 9 years ago
- ☆10Jan 11, 2017Updated 9 years ago
- ☆10Apr 30, 2015Updated 11 years ago
- Trace jni calls with eBPF on Android☆24Jun 21, 2022Updated 4 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.
- Fork of Synacktiv's private Lumina server☆20Feb 22, 2022Updated 4 years ago
- Identify VMess packets in network traffic☆13Nov 21, 2022Updated 3 years ago
- Phantom eye——A passive business logic vulnerability auditing tool☆51Mar 25, 2019Updated 7 years ago
- Repository for the paper "Adversarial Variational Optimization of Non-Differentiable Simulators"☆16Dec 17, 2018Updated 7 years ago
- The goal of this project is to help researchers/investigaters to export the decrypted TLS content into a PCAP☆16Jul 20, 2026Updated 3 months ago
- ☆15Feb 18, 2025Updated last year
- Java project using JDBC and Apache POI. It fetches data from DB and export it to excel sheet.☆10Jun 21, 2021Updated 5 years ago