Jarhead analysis and detection of malicious Java applets
Enabling trusted scheduling in embedded systems