Trust can be gained and lost, re-gained and lost again, but trustworthiness should be demonstrable.
Confidence in a system's trustworthiness can be gained in many different ways, including by design, through transparency (systems that allow us an insight into how and why they make certain decisions), and through rigorous verification and validation. Find out more about the laboratory.
Current memory architectures are untrustworthy. In general, any word of memory can be modified at any time and unallocated memory is indistinct from allocated memory. We are currently researching a new design for Integrated Hardware Garbage Collection that creates reliable, safely managed memory at the hardware level.