Computing for Trusted Systems