Pinned Repositories
ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Attack-Tree-Petri-Nets
A New Model of Attack Trees in Petri Nets by Categorical Means
attack-trees-in-monoidal-cats
Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories
AttackTreeJSEditor
An editor for building attack trees written in Javascript.
ILL-Impl
Implementation of a term assignment for intuitionistic linear logic
Lina
A Haskell EDSL for conducting threat analysis using Attack Trees
non-comm-monads-adjoint-models
Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models
separating-linear-modalities
Separating the structural rules into several different modalities, and then relating them
A New Foundation for Attack Trees Based on Monoidal Categories's Repositories
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
MonoidalAttackTrees/attack-trees-in-monoidal-cats
Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories
MonoidalAttackTrees/Lina
A Haskell EDSL for conducting threat analysis using Attack Trees
MonoidalAttackTrees/Attack-Tree-Petri-Nets
A New Model of Attack Trees in Petri Nets by Categorical Means
MonoidalAttackTrees/AttackTreeJSEditor
An editor for building attack trees written in Javascript.
MonoidalAttackTrees/ILL-Impl
Implementation of a term assignment for intuitionistic linear logic
MonoidalAttackTrees/non-comm-monads-adjoint-models
Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models
MonoidalAttackTrees/separating-linear-modalities
Separating the structural rules into several different modalities, and then relating them