Type Casting Verification: Stopping an Emerging Attack Vector [pdf]usenix.org8 pointsBudVVeezer11 years ago