this will be used for attack graph engine MulVAL to evaluate risk assessment results for different network topologies.
☆12Feb 23, 2016Updated 10 years ago
Alternatives and similar repositories for ClassifcalNetworkSecurityTopologies
Users that are interested in ClassifcalNetworkSecurityTopologies are comparing it to the libraries listed below
Sorting:
- MulVAL interaction rules and their mapping to MITRE ATT&CK Techniques☆13Oct 21, 2024Updated last year
- improve mulval to accommodate some updates and make it more suitable for industrial control network☆12Nov 22, 2022Updated 3 years ago
- MulVAL: A logic-based, data-driven enterprise network security analyzer - Originally developed at Kansas State University, updated for Cy…☆37May 13, 2024Updated last year
- BAG-MulVAL: Auxiliary analyzer of intranet security☆21Oct 13, 2023Updated 2 years ago
- MulVAL is an cybersecurity reasoning engine that can be applied on top of multiple contexts (cloud, IoT, enterprise network, etc )☆11Feb 23, 2016Updated 10 years ago
- Attack graph construction and analysis☆36May 18, 2019Updated 6 years ago
- A logic-based enterprise network security analyzer☆137Jan 28, 2023Updated 3 years ago
- ☆32Jan 28, 2021Updated 5 years ago
- rocksredis,主要面向工业互联网(物联网)传感器、终端采集的数据存储的场景应用☆12Sep 15, 2021Updated 4 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- Wireshark dissector for GE-FANUC Service Request Transfer Protocol☆11Jan 7, 2023Updated 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
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- A small 2D Unity project with procedural map generation using their new Tilemap system.☆10Dec 10, 2019Updated 6 years ago
- The original code for SCARA: Scalable Graph Neural Networks with Feature-Oriented Optimization (VLDB 2022) and Scalable Decoupling Graph …☆13Mar 8, 2024Updated 2 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- GE Inteligent PLCs communication protocol☆13Feb 10, 2021Updated 5 years ago
- ☆11Dec 14, 2015Updated 10 years ago
- ☆12Feb 21, 2017Updated 9 years ago
- オリジナルの漢字テストを作成するWebアプリ☆12Mar 5, 2024Updated 2 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- This is the code repository for the paper "Zero-Sum Stochastic Stackelberg Games".☆16Oct 12, 2022Updated 3 years ago
- A Red Team Script to Detect Canary Tokens and Seed Files☆15Jan 2, 2024Updated 2 years ago
- Evolutionary Based Moving Target Cyber-Defense Master Thesis☆12Jan 21, 2020Updated 6 years ago
- ☆11Oct 27, 2019Updated 6 years ago
- Doccano annotation server together with a Spacy backend☆11Apr 5, 2023Updated 2 years ago
- ☆12Nov 26, 2019Updated 6 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- Mountain Car problem solving using RL - QLearning with OpenAI Gym Framework☆10Mar 20, 2018Updated 7 years ago
- 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
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 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
- [TDSC 2021] IntruSion alert-driven Attack Graph Extractor. https://ieeexplore.ieee.org/document/9557854☆39Jun 28, 2024Updated last year
- Wang Tiles algorithm applied to map generation☆14Feb 11, 2017Updated 9 years ago
- A Rain World interactive map using leaflet and GeoJSON data exported from the game files. By @henpemaz☆14Jun 19, 2023Updated 2 years ago
- Data mining algorithms with Python☆10Jun 26, 2019Updated 6 years ago
- Factored Interactive POMDP solver based on symbolic Perseus.☆11Aug 12, 2025Updated 6 months ago
- A Multi Agent Auction System developed in JADE☆14Dec 16, 2018Updated 7 years ago