GitHub - OctopiChalmers/OptimisingFSME: Supplementary material to "Optimising Faceted Secure Multi-Execution" · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Contexts.agda		Contexts.agda
DCLabels.agda		DCLabels.agda
Faceted.agda		Faceted.agda
LambdaFac.agda		LambdaFac.agda
LatticeContexts.agda		LatticeContexts.agda
Lattices.agda		Lattices.agda

About

Supplementary material to "Optimising Faceted Secure Multi-Execution"

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%