Great idea! Could this concept be extended/implemented using first-order logic to allow automated deductions to discover new security premises? It would probabl

Great 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.