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 Jul

Displayed time zone: Belfast change

10:45 - 12:15
CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?Panathon at Epernay
10:45
15m
Demonstration
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge
Panathon
P: Linghui Luo Paderborn University
11:00
75m
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
Panathon
Stefan Krüger Paderborn University