Securing C Programs by Dynamic Type Checking.

Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun

Browse the full ISPEC paper archive.