No construyas con TEEs pero omite las atestaciones. No hay lugar para la confianza, solo para la verificación. La Atestación DCAP de Automata hace que las máquinas sean verificables en la cadena.
659