LaKSA: A Probabilistic Proof-of-Stake Protocol.

Daniël Reijsbergen Pawel Szalachowski Junming Ke Zengpeng Li Jianying Zhou

Published in: NDSS (2021)

Keyphrases

bayesian networks
probabilistic model
formal proof
communication protocol
data driven
probabilistic logic
end to end
cost based abduction
multi agent
neural network
database
formal analysis
lightweight
tcp ip
linear logic
probabilistic approaches
data sets