Course material for a course on Computer Security