Certificate Transparency with Enhancements and Short Proofs.

Abhishek Singh Binanda Sengupta Sushmita Ruj

Published in: ACISP (2) (2017)

Keyphrases

theorem proving
neural network
theorem prover
learning algorithm
artificial intelligence
bayesian networks
probabilistic model
computer programs
decision procedures
formal proof
mathematical proofs