Towards Proofs of Ownership Beyond Bounded Leakage.

Yongjun Zhao Sherman S. M. Chow

Published in: ProvSec (2016)

Keyphrases

theorem proving
learning algorithm
artificial intelligence
real time
theorem prover
decision procedures
formal proof
database
web services
formal proofs