EPFL / CS 1 / Topics in Software Security / CAMP presentation