On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version).
Ugo Dal LagoGiulia GiustiPublished in: CoRR (2022)
Keyphrases
- deterministic finite state automata
- bayesian networks
- special case
- smart card
- probabilistic model
- computational complexity
- real time
- probabilistic logic
- generative model
- probabilistic approaches
- key management
- probabilistic reasoning
- approximation algorithms
- uncertain data
- learning algorithm
- genetic algorithm
- data sets