Sign in

Towards Proofs of Ownership Beyond Bounded Leakage.

Yongjun ZhaoSherman 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