[SATToSE] 2nd Summer School on Security Testing and Verification