Leakage-Free Probabilistic Jasmin Programs.
José Bacelar AlmeidaDenis FirsovTiago OliveiraDominique UnruhPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- bayesian networks
- probabilistic logic
- generative model
- information systems
- automatic programming
- clustering algorithm
- expert systems
- probabilistic model
- answer sets
- uncertain data
- logic programs
- probabilistic logic programs
- fixpoint
- computer programs
- posterior probability
- information theoretic
- data sets
- relational databases
- web services
- decision making
- data mining