Amit Vasudevan

• Practical Security Properties on Commodity Computing Platforms
• Trustworthy Execution on Mobile Devices