CUTTING-EDGE VERIFICATION METHODS STRENGTHEN BARRIERS TOWARDS AUTOMATED CYBER ATTACKS