Techniques for Validation and Controlled Execution of Processes, Codes and Data - A Survey.

Dipankar Dasgupta, Sudip Saha, Aregahegn Negatu

Browse the full SECRYPT paper archive.