GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
A New Model of Attack Trees in Petri Nets by Categorical Means
Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models
A Haskell EDSL for conducting threat analysis using Attack Trees
Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories
Agda formalization of the Attack Tree Linear Logic
Separating the structural rules into several different modalities, and then relating them
Implementation of a term assignment for intuitionistic linear logic