pSub/information-flow-agda
1
2
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
An Agda implementation of information flow security properties and type systems. Inspired by this course http://www.mais.informatik.tu-darmstadt.de/proganalysis-ws1213
22 commits 1 branch 0 tags 53 KiB
  • Agda 100%
Find a file
Exact
Pascal Wittmann ca97db24d6 proofed that skip is strongly secure
2013-07-09 20:52:31 +02:00
MTWL proofed that skip is strongly secure 2013-07-09 20:52:31 +02:00
STWL refactoring 2013-07-01 23:19:46 +02:00
.gitignore added gitignore 2013-02-14 22:50:17 +01:00
README.md Initial commit 2013-02-14 13:48:55 -08:00

README.md

information-flow-agda

An Agda implementation of information flow security properties and type systems.