Karim Ali

University of Alberta - Edmonton / Canada

Others

AD Scientific Index ID: 662223

Registration, Add Profile,
Premium Membership

Print Your Certificate

Karim Ali's MOST POPULAR ARTICLES

1-) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIsS Krüger, J Späth, K Ali, E Bodden, M MeziniIEEE Transactions on Software Engineering 47 (11), 2382-2400, 20191292019

2-) Boomerang: Demand-driven flow-and context-sensitive pointer analysis for javaJ Späth, L Nguyen Quang Do, K Ali, E Bodden30th European Conference on Object-Oriented Programming (ECOOP 2016), 20161262016

3-) Cognicrypt: Supporting developers in using cryptographyS Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ...2017 32nd IEEE/ACM International Conference on Automated Software …, 20171492017

4-) Application-only call graph constructionK Ali, O LhotákEuropean Conference on Object-Oriented Programming, 688-712, 20121492012

5-) Averroes: Whole-Program Analysis without the Whole ProgramK Ali, O Lhoták1082013

ARTICLES

Add your articles