Ensuring correct cryptographic algorithm and provider usage at compile time.
Weitian XingYuanhui ChengWerner DietlPublished in: FTfJP@ECOOP (2021)
Keyphrases
- preprocessing
- experimental evaluation
- optimization algorithm
- learning algorithm
- computationally efficient
- computational cost
- cost function
- times faster
- dynamic programming
- tree structure
- recognition algorithm
- search space
- computational complexity
- optimal solution
- np hard
- k means
- improved algorithm
- data sets
- high accuracy
- significant improvement
- linear programming
- input data
- detection algorithm
- theoretical analysis
- single pass
- probabilistic model
- estimation algorithm
- convex hull
- classification algorithm
- expectation maximization
- simulated annealing
- mobile robot
- data structure
- similarity measure
- neural network