Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model.
Yuanliang ChenFuchen MaYuanhang ZhouYu JiangTing ChenJia-Guang SunPublished in: SP (2023)
Keyphrases
- cost function
- computational model
- mathematical model
- high level
- management system
- statistical model
- network model
- sensitivity analysis
- probabilistic model
- source code
- parameter estimation
- prediction model
- formal model
- conceptual model
- hierarchical structure
- real time
- case study
- social networks
- machine learning
- neural network