CogniCrypt: supporting developers in using cryptography. - Stefan Krüger; Sarah Nadi; Michael Reif; Karim Ali 001; Mira Mezini; Eric Bodden; Florian Göpfert; Felix Günther 001; Christian Weinert; Daniel Demmler; Ram Kamath (ASE, 2017)