Home | Publications | Software | Personal | CV


Software


adtrees 

A Python package for manipulating and analyzing attack and attack-defense trees.
Among other features, it implements all the algorithms described in our papers. If you are interested only in analyzing your tree, a convenient GUI is waiting for you!
The code and a basic documentation are hosted on github.



OSEAD: Optimal Strategies Extractor for Attack-Defense trees

Having added GUI to the adtrees package, I've turned it into a Windows executable using PyInstaller, thus obtaining OSEAD. You can download it here.