Practical Security Properties on Commodity Computing Platforms - Amit Vasudevan (Springer, 2019)