Prevent confidential data leaks at compile time with labelled types in Sigil (opens in new tab)

(inerte.github.io)

1 pointsinerte2mo ago2 comments

2 comments

2 comments · 1 top-level

compressedgas2mo ago· 1 in thread

Yes, I know about information flow control.

inerteOP2mo 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.

j / k navigate · click thread line to collapse