5 citations · 5 across the 1 of their papers we have counts for
1 paper
Kyle Pullicino
In this report, we examine Jif, a Java extension which augments the language with features related to security. Jif adds support for security labels to Java's type system such that…