Das Mittelstand-Digital Zentrum Magdeburg auf der „Summer School on Security Testing and Verification“