3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Abhishek Bichhawat, McKenna McCall, Limin Jia
Information flow type systems enforce the security property of noninterference by detecting unauthorized data flows at compile-time. However, they require precise type annotations,…