3 ms·
Deciduous: A Security Decision Tree Generator
- mrtesthah 5y agoGreat idea! Could this concept be extended/implemented using first-order logic to allow automated deductions to discover new security premises? It would probably take a huge amount of modeling, but imagine if that could also be used to drive fuzzers to test hypotheses about vulnerable components.