Travelled to:1 × China
1 × France
1 × Sweden
Collaborated with:O.Lhoták M.Rapoport J.Dolby F.Tip S.Arzt S.Nadi E.Bodden S.Erdweg M.Mezini
Talks about:program (3) construct (2) whole (2) graph (2) call (2) cryptograph (1) without (1) softwar (1) analysi (1) toward (1)
Person: Karim Ali
DBLP: Ali:Karim
Contributed to:
2015
201420132012Wrote 4 papers:
- Onward-2015-ArztNABEM #encryption #integration #towards
- Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.
- ECOOP-2014-AliRLDT #graph #scala #source code
- Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
- ECOOP-2013-AliL #named #program analysis
- Averroes: Whole-Program Analysis without the Whole Program (KA, OL), pp. 378–400.
- ECOOP-2012-AliL #graph
- Application-Only Call Graph Construction (KA, OL), pp. 688–712.