Software Security -- Theories and Systems door Benjamin Pierce & Mitsuhiro Okada