Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Type-Based Declassification for Free. | 0 | 0.34 | 2020 |
| Whither Specifications as Programs. | 0 | 0.34 | 2019 |
| Programmable enforcement framework of information flow policies. | 0 | 0.34 | 2014 |
| MAP-REDUCE Runtime Enforcement of Information Flow Policies | 1 | 0.35 | 2013 |