@dblp

Static Analysis for Efficient Hybrid Information-Flow Control.

, and . CSF, page 146-160. IEEE Computer Society, (2011)

Links and resources

Tags