On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments.
Ugo Dal LagoGiulia GiustiPublished in: CONCUR (2022)
Keyphrases
- deterministic finite state automata
- smart card
- special case
- bayesian networks
- probabilistic logic
- context sensitive
- information theoretic
- generative model
- uncertain data
- information systems
- worst case
- neural network
- computational complexity
- approximation algorithms
- text entry
- probabilistic approaches
- random number generator
- encryption key
- information retrieval