1 packages matching “noninterference”
v1.0.6 · 3 years ago
ifc-ts is a library that provides developers with an API for specifying information-flow security constraints in effectful code. These constraints are checked statically by TypeScript's type checker. Consequently, if an effectful computation, written
No known vulnerabilities