Systems and methods are disclosed for providing a trusted database system
that leverages a small amount of trusted storage to secure a larger
amount of untrusted storage. Data are encrypted and validated to prevent
unauthorized modification or access. Encryption and hashing are
integrated with a low-level data model in which data and meta-data are
secured uniformly. Synergies between data validation and log-structured
storage are exploited.