Microsoft Peter Alexander, Check Point Software