Sign in

Continuous Tamper-Proof Logging Using TPM 2.0.

Arunesh SinhaLimin JiaPaul EnglandJacob R. Lorch
Published in: TRUST (2014)
Keyphrases
  • theorem proving
  • piecewise linear
  • databases
  • linear logic
  • information retrieval
  • search engine
  • reinforcement learning
  • theorem prover
  • digital watermarking
  • discrete space