Title: An approach to the execution of encrypted programs