INNOVATIVE VERIFICATION METHODS STRENGTHEN BARRIERS AGAINST AUTOMATED CYBER ATTACKS