Precise quantitative information flow analysis— a symbolic approach
2014 ◽
Vol 538
◽
pp. 124-139
◽
Keyword(s):
2012 ◽
Vol 37
(6)
◽
pp. 1-5
◽