Skip to content
@MonoidalAttackTrees

A New Foundation for Attack Trees Based on Monoidal Categories

NSF Grant #1565557

Popular repositories Loading

  1. attack-trees-in-monoidal-cats attack-trees-in-monoidal-cats Public

    Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories

    TeX 5 1

  2. ATLL-Formalization ATLL-Formalization Public

    Agda formalization of the Attack Tree Linear Logic

    Agda 5

  3. Lina Lina Public

    A Haskell EDSL for conducting threat analysis using Attack Trees

    Haskell 4 1

  4. ILL-Impl ILL-Impl Public

    Implementation of a term assignment for intuitionistic linear logic

    Haskell

  5. separating-linear-modalities separating-linear-modalities Public

    Separating the structural rules into several different modalities, and then relating them

    TeX

  6. non-comm-monads-adjoint-models non-comm-monads-adjoint-models Public

    Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

    TeX

Repositories

Showing 7 of 7 repositories

Top languages

Loading…

Most used topics

Loading…