Si avira in effetti pure è ottimo ed è gratuito:
http://www.free-av.com/it/download/index.html
Pero' fate una passatina anche con malwerebytes,antimalware(link in alto)
Inoltre non so cosa fosse l'eseguibile ma se lo avete lanciato vi consiglio
per sicurezza di cambiare tutte le password da un altro pc.
Ross se segui queste indicazioni il tecnico non è necessario.