On the impact of generative policies on security metricsDinesh VermaElisa Bertinoet al.2019SMARTCOMP 2019