Mobile Code Validation through Static Program Analysis, Steganography, and Transformation Control
Testing Security Mechanisms
Impact Analysis
Optimizing MPI Programs