CUTTING-EDGE VERIFICATION TECHNOLOGIES REINFORCE DEFENSES TOWARDS AUTOMATED CYBER ATTACKS