Não. Os arquivos Efdc não são vírus, não é capaz de injetar seu código nos arquivos e forçá-los a executá-lo. Os arquivos .EXT são iguais aos normais, mas criptografado e não pode ser aberto da maneira usual. Você pode armazená-lo junto com os arquivos normais sem qualquer medo.