FlowSafe: Difference between revisions

Jump to navigation Jump to search
365 bytes removed ,  25 March 2010
 
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.

Navigation menu