Are they encrypted to begin with? If you've created them with multiMAN or IRISMAN then they're automatically decrypted, unless you explicitly changed it in the configuration. Decryption is only really needed if you create Redump type rips by ripping the discs on a PC.
Yes, they are. I have the 80010017 error message when running them.
EDIT: I ran PS3DEC Simple GUI, chose the encrypted PS3 ISOs with the matching dkey files (I had to download the latter since
said key files had the "key" extension, not the "dkey" one), it created decrypted PS3 ISOs and after running them on the console, I was able to play the games without any error message.
I find it odd PS3DEC Simple GUI works with dkey files when the "Decrypt 3k3y/Redump ISOs (HDD)" and "Decrypt 3k3y/Redump ISOs (USB)" settings apparently work with key ones since they mention them. Anyway, if using both "Decrypt 3k3y/Redump ISOs (HDD)" and "Decrypt 3k3y/Redump ISOs (USB" settings with dkey files instead of key ones, it still doesn't work since a message appears again saying "Could not find any encrypted ISO file".
EDIT 2: According to
this, it's possible to decrypt encrypted PS3 ISOs on Evilnat and on the fly (so, the "Decrypt 3k3y/Redump ISOs (HDD)" and "Decrypt 3k3y/Redump ISOs (USB)" settings aren't required since the games work right after being ran) but webMAN MOD is needed and I don't want it. Also, key files are used instead of dkey ones.