Yes, they are. I have the 80010017 error message when running them.
EDIT: I ran PS3DEC Simple GUI, chose the encrypted ISOs with the corresponding dkey files (I had to download the latter since said key files had the "key" extension, not the "dkey" one. I find it odd the "Decrypt 3k3y/Redump...