Assessing the security of Node.js platform
An operational semantics for javascript