Repositories list

• non-comm-monads-adjoint-models

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

  TeX

  •0•0•0•0•Updated Feb 28, 2019Feb 28, 2019

• attack-trees-in-monoidal-cats

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

  TeX

  •1•5•0•0•Updated Feb 4, 2019Feb 4, 2019

• Attack-Tree-Petri-Nets

  Public
  A New Model of Attack Trees in Petri Nets by Categorical Means

  TeX

  •0•0•0•0•Updated Nov 24, 2018Nov 24, 2018

• Lina

  Public
  A Haskell EDSL for conducting threat analysis using Attack Trees

  edslverificationhaskell-library+ 5attack-treesthreat-analysislinear-logicmaudelina

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1•4•1•0•Updated Oct 22, 2018Oct 22, 2018

• ATLL-Formalization

  Public
  Agda formalization of the Attack Tree Linear Logic

  semanticsagdaattack-trees+ 5categorical-semanticslinear-logiccategorical-logicdialectica-spacesdialectica-categories

  Agda

  •0•5•0•0•Updated Jul 29, 2018Jul 29, 2018

• separating-linear-modalities

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

  TeX

  •0•0•1•0•Updated May 26, 2017May 26, 2017

• ILL-Impl

  Public
  Implementation of a term assignment for intuitionistic linear logic

  Haskell

  •0•0•2•0•Updated Nov 28, 2016Nov 28, 2016