Prevent confidential data leaks at compile time with labelled types in Sigil

Prevent confidential data leaks at compile time with labelled types in Sigil(inerte.github.io)

1 points by inerte 39 days ago | 2 comments

Yes, I know about information flow control.

inerte 38 days ago | |

Yeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.

compressedgas 39 days ago |

Yes, I know about information flow control.

inerte 38 days ago | |

Yeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.