“The CIA's modified version of VLC added a DLL, believed to be psapi.dll, which would read the user's document folder, encrypt the files, and transmit them.”