- A Simple Language With Dynamic Information Flwo Control
This repository implements a language with a simple dynamic info-flow control method. The lattice is just public and secret
aaronjeline/InfoFlow
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository implements a language with a simple dynamic info-flow control method. The lattice is just public and secret