Attack graph construction and analysis
☆36May 18, 2019Updated 6 years ago
Alternatives and similar repositories for attack-graphs
Users that are interested in attack-graphs are comparing it to the libraries listed below
Sorting:
- ☆32Jan 28, 2021Updated 5 years ago
- ☆14Jul 26, 2019Updated 6 years ago
- improve mulval to accommodate some updates and make it more suitable for industrial control network☆12Nov 22, 2022Updated 3 years ago
- this will be used for attack graph engine MulVAL to evaluate risk assessment results for different network topologies.☆12Feb 23, 2016Updated 10 years ago
- MulVAL interaction rules and their mapping to MITRE ATT&CK Techniques☆13Oct 21, 2024Updated last year
- BAG-MulVAL: Auxiliary analyzer of intranet security☆21Oct 13, 2023Updated 2 years ago
- This work shows the viability of automatically generated attack graphs that are used for adversary behavior execution in industrial contr…☆12Jun 3, 2021Updated 4 years ago
- [TDSC 2021] IntruSion alert-driven Attack Graph Extractor. https://ieeexplore.ieee.org/document/9557854☆39Jun 28, 2024Updated last year
- Pwnable tips & writeups.☆23Dec 11, 2016Updated 9 years ago
- This is code for finding the minimax/nash/stackelberg strategy of players in Markov Games.☆28Jun 26, 2025Updated 8 months ago
- The three algorithms used to solve Bayesian Stackelberg Games have been implemented here.☆29Aug 9, 2018Updated 7 years ago
- Solves a Mixed Integer Linear Program to generate the Stacklberg Equilibrium of a General-sum (+Bayesian) Games.☆36Jan 9, 2026Updated last month
- DADAM: A Consensus-based Distributed Adaptive Gradient Method for Online Optimization☆11Jun 15, 2022Updated 3 years ago
- 多智能体NFV资源分配☆11Jun 16, 2022Updated 3 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- 毕设项目，项目名称为轻松买比价网，通过爬虫获取各大电商平台中特定的商品的价格图片等数据，并在本系统中进行比价展示。 系统主要分为3个模块，用户模块，搜索模块，商品模块。☆13Oct 10, 2022Updated 3 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- An Abstract Cyber Security Simulation and Markov Game for OpenAI Gym☆87Feb 23, 2025Updated last year
- RASSH – Reinforced Adaptive SSH Honeypot This is a project developed for my Phd Thesis and the target is to create an Adaptive Honeypot…☆12Jul 29, 2019Updated 6 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- 网络爬虫（又称为网页蜘蛛，网络机器人，在FOAF社区中间，更经常的称为网页追逐者），是一种按照一定的规则，自动地抓取万维网信息的程序或者脚本。另外一些不常使用的名字还有蚂蚁、自动索引、模拟程序或者蠕虫。☆10Aug 2, 2023Updated 2 years ago
- Optimal placement of edge servers using K-means Clustering and Power allocation using Particle Swarm Optimization☆13Nov 22, 2021Updated 4 years ago
- Evolutionary Based Moving Target Cyber-Defense Master Thesis☆12Jan 21, 2020Updated 6 years ago
- ☆11Dec 14, 2015Updated 10 years ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated last year
- A Red Team Script to Detect Canary Tokens and Seed Files☆15Jan 2, 2024Updated 2 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- This is the code repository for the paper "Zero-Sum Stochastic Stackelberg Games".☆16Oct 12, 2022Updated 3 years ago
- Mountain Car problem solving using RL - QLearning with OpenAI Gym Framework☆10Mar 20, 2018Updated 7 years ago
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- Minimal hitting set solver in Python☆11Dec 15, 2018Updated 7 years ago
- ☆17Aug 3, 2025Updated 6 months ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- [TMC’23] Preemptive Migration Prediction Network for Proactive Fault Tolerant Edge Computing☆10Sep 25, 2023Updated 2 years ago
- ☆11Jun 3, 2024Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- Correlate NVD datasets wIth CWE/CAPEC/CVSS labels for customised usage. Plus static analysis and data visualisation.☆13Nov 17, 2023Updated 2 years ago
- An environment for testing AI pentesting agents against a simulated network.☆205Feb 28, 2024Updated 2 years ago