Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
CrySL is a Domain Specific Language (DSL) that is utilized by CogniCrypt to assess correctness of API usage during application analysis. In this session we present the details of CrySL before guiding participants through building their very own CrySL rule. This session will also demonstrate the generalizability of CrySL; it is not inherently designed to specify correctness of cryptographic APIs and therefore can be used to define correctness for other API usages as well. This will be an interactive session, so make sure to bring a laptop! It is recommended to preview the session setup instructions prior to attending.
Tue 16 JulDisplayed time zone: Belfast change
10:45 - 12:15
|Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge|
P: Linghui Luo Paderborn University
|Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?|
Stefan Krüger Paderborn University