CrySL: Validating Correct Usage of Cryptographic APIs.

Stefan Krüger Johannes Späth Karim Ali Eric Bodden Mira Mezini

Published in: CoRR (2017)

Keyphrases

lightweight
smart card
security protocols
machine learning
application developers
usage patterns
decision trees
similarity measure
evolutionary algorithm
database design
usage data
security properties
web usage