Certificate Transparency with Enhancements and Short Proofs.

Abhishek Singh Binanda Sengupta Sushmita Ruj

Published in: CoRR (2017)

Keyphrases

formal proofs
database
theorem prover
theorem proving
learning algorithm
data sets
artificial intelligence
database systems
search algorithm
probabilistic model