You could spend a hour or two doing internet searches for names of the devil, or pay a buck to get this. For a dollar it's not a bad deal. One page with 101 names. No references, but all CC licensed.
Suitable for any game that has demons, devils or one that just needs an name with evil connotations.