Verified Proofs of Higher-Order Masking.
Gilles BartheSonia BelaïdFrançois DupressoirPierre-Alain FouqueBenjamin GrégoirePierre-Yves StrubPublished in: EUROCRYPT (1) (2015)
Keyphrases
- higher order
- high order
- markov random field
- natural images
- human visual system
- pairwise
- formal proof
- formal proofs
- lambda calculus
- theorem proving
- information loss
- mathematical proofs
- lower order
- low order
- theorem prover
- decision procedures
- markov models
- natural deduction
- databases
- conditional random fields
- empirically derived
- equational theories
- knowledge base