Author of the publication

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).

, , , , and . DARTS, 4 (3): 06:1-06:4 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Image Registration using Multiresolution Frequency Domain Correlation., and . BMVC, page 1-10. British Machine Vision Association, (1998)CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)., , , , and . DARTS, 4 (3): 06:1-06:4 (2018)CrySL: Validating Correct Usage of Cryptographic APIs., , , , and . CoRR, (2017)Empirical Study on the Relevance of Factors Influencing Readability of Instruction Manuals for Elderly., , , and . USAB, volume 7058 of Lecture Notes in Computer Science, page 681-689. Springer, (2011)Feature-oriented contract composition., , , , and . SPLC (A), page 5:1. ACM, (2019)Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials., , , , , , , , , and 8 other author(s). OTM Conferences, volume 8185 of Lecture Notes in Computer Science, page 719-736. Springer, (2013)Jumping through hoops: why do Java developers struggle with cryptography APIs?, , , and . ICSE, page 935-946. ACM, (2016)Variability Modeling of Cryptographic Components: Clafer Experience Report., and . VaMoS, page 105-112. ACM, (2016)Motion Estimation using Adaptive Correlation and Local Directional Smoothing., , and . ICIP (3), page 614-618. (1998)CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs., , , , and . ECOOP, volume 109 of LIPIcs, page 10:1-10:27. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)