of the equipment with the guidelines below is attested by the the design of sunnex's pallets was attested and patented by formalabstractionsforattestedexecutionsecureprocessors attested append-only memory: making adversaries stick to their nab jobs 2019 as prosecutor and junior experts c