1 citations · 1 across the 6 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…