====== Past Research Projects of the Lab ======

[[mobilecode|Mobile Code Validation through Static Program Analysis, Steganography, and Transformation Control ]]

[[testing_security|Testing Security Mechanisms]]

[[impact_analysis|Impact Analysis]]

[[:projects:asphalt|Optimizing MPI Programs]]