@dblp

Quantitative Information Flow - Verification Hardness and Possibilities.

, and . CSF, page 15-27. IEEE Computer Society, (2010)

Links and resources

Tags