Techniques for validation and controlled execution of processes, codes and data: A survey | IEEE Conference Publication | IEEE Xplore