Google doesn’t return anything on the file names, so it’s either something new, or they are just random names- two do indeed look like random names- so that doesn’t give us any information on the malware.
Have you tried running a scan with Ewido?
http://www.ewido.net/en/
