Confirmed users, Bureaucrats and Sysops emeriti
419
edits
FlowSafe: Difference between revisions
→To-do
(→To-do) |
(→To-do) |
||
| Line 30: | Line 30: | ||
# Declassify primitive TBD, defer for now | # Declassify primitive TBD, defer for now | ||
--[[User:Brendan|Brendan]] | --[[User:Brendan|Brendan]] 01:36, 31 October 2009 (UTC) | ||
===References=== | ===References=== | ||
[http://slang.soe.ucsc.edu/cormac/papers/plas09.pdf Efficient Purely-Dynamic Information Flow Analysis (PLAS '09)] | [http://slang.soe.ucsc.edu/cormac/papers/plas09.pdf Efficient Purely-Dynamic Information Flow Analysis (PLAS '09)] | ||