Search results

ifc-ts

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

• ifc
• IFC
• information
• non-interference
• noninterference
• LIO
• flow
• control
• security
• ITU
• static
• analysis
• typescript

markido

published 1.0.6 • 10 months agopublished 1.0.6 10 months ago