related work

[1ucian0]

• isolation properties (by Sergio Maffeis) http://www.doc.ic.ac.uk/~maffeis/csf09.pdf
• Sergio Maffeis, John C. Mitchell, Ankur Taly: Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy 2010: 125-140
  • tool for detecting pointer isolation failure: http://research.google.com/pubs/pub37199.html (?)

[1ucian0]

the need "to verify correct internal state" http://docs.python.org/dev/whatsnew/3.3#inspect in ECMA http://wiki.ecmascript.org/doku.php?id=strawman:private_names