INNOVATIVE VERIFICATION METHODS REINFORCE BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS