Gravar-mail: UMUDGA: A dataset for profiling algorithmically generated domain names in botnet detection