Only use profileFor to get ciphertexts

Do not assume that we have access to the ECB encryption function.