The 1st TCE Summer School on Computer Security