Title: Practical Security Properties on Commodity Computing Platforms