All

7 repositories

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
edsl verification haskell-library
edsl verification haskell-library attack-trees maude threat-analysis linear-logic lina
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
semantics agda attack-trees
semantics agda attack-trees categorical-semantics linear-logic categorical-logic dialectica-spaces dialectica-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

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.