A Formal Analysis of Boomerang Probabilities.

Andreas B. Kidmose Tyge Tiessen

Published in: IACR Trans. Symmetric Cryptol. (2022)

Keyphrases

formal analysis
probability distribution
formal methods
probability theory
belief networks
ban logic
agent model
artificial intelligence
web services
open source
graphical models
lightweight
fine grained
business process
conditional probabilities