6
edits
FlowSafe: Difference between revisions
→References
(→To-do) |
|||
| Line 37: | Line 37: | ||
[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)] | ||
[[Media:ucsc-w2sp-submission.pdf]] Submission to W2SP (please do not redistribute). Formalizes info-flow for Javascript with prototype chains, and discusses some policy issues. Feedback welcome. | |||
[[Media:Ucsc-plas10-submission.pdf]] Submission to PLAS 2010 (please do not redistribute). Describes a more flexible "permissive upgrade" information flow strategy. | |||