Atom | FOUNDATIONS OF TRUSTED SYSTEMS