Collaborated with:E.Bodden J.Späth S.Krüger M.Mezini L.N.Q.Do S.Nadi M.Reif F.Göpfert F.G.0001 C.Weinert D.Demmler R.Kamath
Talks about:analysi (3) flow (3) context (2) sensit (2) use (2) cryptographi (1) cryptograph (1) boomerang (1) synchron (1) pushdown (1)
Person: Karim Ali 0001
DBLP: 0001:Karim_Ali
Contributed to:
2017
2016
20172018
2019Wrote 5 papers:
- ASE-2017-KrugerNRAMBGGWD #developer #encryption #named #using
- CogniCrypt: supporting developers in using cryptography (SK, SN, MR, KA0, MM, EB, FG, FG0, CW, DD, RK), pp. 931–936.
- ECOOP-2016-SpathDAB #analysis #java #named #pointer
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.
- OOPSLA-2017-SpathAB #alias #analysis #data flow #named #performance #precise
- IDEal: efficient and precise alias-aware dataflow analysis (JS, KA0, EB), p. 27.
- ECOOP-2018-KrugerS0BM #api #approach #encryption #named #validation
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
- POPL-2019-SpathAB #analysis #automaton #data flow #using
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems (JS, KA0, EB), p. 29.