Comprehensive Formal Modeling and Automatic Vulnerability Detection for a Bitcoin-Compatible Mixing Protocol.
Xianglin BaoXiaofeng XuPing ZhangTao LiuPublished in: IEEE Access (2022)
Keyphrases
- object detection
- formal analysis
- automatic detection
- detection algorithm
- lesion segmentation
- detection accuracy
- fully automatic
- semi automatic
- detection method
- false alarms
- lightweight
- formal models
- neural network
- false positives
- event detection
- detection rate
- formal model
- formal specification
- credit card
- data mining
- cryptographic protocols
- dynamic aspects
- trusted third party