CUTTING-EDGE VERIFICATION TECHNOLOGIES STRENGTHEN BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS