IPDL: A Probabilistic Dataflow Logic for Cryptography.
Xiong FanJoshua GancherGreg MorrisettElaine ShiKristina SojakovaPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- probabilistic logic
- cellular automata
- probability theory
- automated reasoning
- bayesian networks
- generative model
- probabilistic reasoning
- classical logic
- probabilistic knowledge
- abductive reasoning
- probabilistic model
- logical inference
- deontic logic
- design methodology
- uncertain data
- modal logic
- computational properties
- logic programming
- graph transformation