Object orientated programming_in_ansi-c
(semi)Automatic Methods for Security Bug Detection Tal Garfinkel Stanford/VMware.
Conformal Lec Training Basic Advance