Attack-Defense Tree Designer is a Modelio module developed by Softeam that allows Modelio users to design attack tree diagrams.

An open-source modular framework capable of identifying a wide range of TLS vulnerabilities and assessing compliance with multiple guidelines. Its actionable report can assist the user in correctly and easily fixing their configurations.

Threat Modeling with ATT&CK defines how to integreate MITRE ATT&CK® into your organization’s existing threat modeling methodology.

This repository contains my first threat modeling project, focusing on a university financial system. It includes an online DFD, a detailed threat model created using Microsoft Threat Modeling Tool 2016, and an attack tree analysis for a specific identified threat.

Azure DevOps server supply-chain attack tree (map, Attack surface, threat modeling)

Modeling, analyzing and rendering attack trees.

Implementation of Attack Tree with using object-oriented design patterns. Abstract Factory and Visitor patterns were used for implementation.

Draw.io libraries for threat modeling diagrams

Attack Tree to Expert System Conversion Program

A Tool that Generates Attack--Defense Trees to Support Threat Modeling Activities

Live editor for DOT language graphs

⬆️ Code to facilitate testing directory traversal issues

A Haskell EDSL for conducting threat analysis using Attack Trees

Attack Tree modeling sheet for Dia

Agda formalization of the Attack Tree Linear Logic