If you even suspect it might be some sort of malware, I suggest porting over some sort of scanner via USB. MalwareBytes has been the constant here lately, so pop that over and scan. If that doesn't detect anything, ask if they use a proxy server, and check proxy settings to see if maybe someone reset something. IE not opening could just be a bad install/corrupted install. See if it lets you reinstall that version or a newer version.