39 citations · 86 across the 11 of their papers we have counts for
1 paper · 2 filters
Andrew K. Hirsch, Ethan Cecchetti
Type systems designed for information-flow control commonly use a program-counter label to track the sensitivity of the context and rule out data leakage arising from effectful com…