Update:
My laptop has Windows XP 3rd edition and my manager has Windows 7.

He was able to format the SD cards without a problem and there was no virus detected. :dance:

Maybe it's a Windows thing?