Continuous Tamper-Proof Logging Using TPM 2.0.

Arunesh Sinha Limin Jia Paul England Jacob 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