Practical Security Properties on Commodity Computing Platforms