Recomposed Enforcement Paths: A Comparative History of Hardware-Enforced Platform Security
English author preprint v4.1. This substantially revised edition compares historically situated hardware-enforced platform security mechanisms rather than proposing a linear or causal transition. It offers a bounded decision procedure for classifying a specified security guarantee as local, distributed, or not classifi...