No. Efdc files is not a virus, it is not able to inject its code into the files and force them to execute it. The .EXT files are just the same as regular ones, but encrypted and cannot be opened in the usual way. You may store it together with normal files without any fears.