On certifying mobile code for secure applications.

Anup K. Ghosh

Browse the full ISSRE paper archive.