Type Safety for JavaScript
Buffer overflows: attacks and defenses for the vulnerability of the decade