In this case, we have tampered with the TCB by turning off the verify. The access still proceeds by way of the working system, and remains to be technically correct (i.e. the entry wasn’t permitted due to a bug). I hope that that is the start of a widespread availability of educational materials of the […]