A Method for Proving Unlinkability of Stateful Protocols.
David BaeldeStéphanie DelauneSolène MoreauPublished in: CSF (2020)
Keyphrases
- experimental evaluation
- high precision
- prior knowledge
- synthetic data
- fully automatic
- similarity measure
- cost function
- multiscale
- significant improvement
- detection method
- clustering method
- support vector machine svm
- high accuracy
- matching algorithm
- input data
- mutual information
- data sets
- dynamic programming
- image processing
- machine learning