Probabilistic Functions and Cryptographic Oracles in Higher Order Logic.

Andreas Lochbihler

Published in: ESOP (2016)

Keyphrases

higher order logic
higher order
conditional logic
smart card
theorem prover
logical framework
probabilistic model
probabilistic logic
artificial intelligence
bayesian networks
active learning
software engineering
general purpose
test cases
fixed point
security protocols