2017

CogniCrypt: Supporting Developers in using Cryptography. Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath. International Conference on Automated Software Engineering (ASE).
IDEal: Efficient and Precise Alias-aware Dataflow Analysis. Johannes Späth, Karim Ali, and Eric Bodden. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA).
A Case for Better Integration of Host and Target Compilation When Using OpenCL for FPGAs. Taylor Lloyd, Artem Chikin, Erick Ochoa, Karim Ali, and J Nelson Amaral. International Workshop on FPGAs for Software Programmers (FSP).
Detecting Security Vulnerabilities in Object-Oriented PHP Programs. Mona Nashaat, Karim Ali, and James Miller. IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
Just-in-Time Static Analysis. Lisa Nguyen Quang Do, Karim Ali, Ben Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. International Symposium on Software Testing and Analysis (ISSTA).
Cheetah: Just-in-Time Taint Analysis for Android Apps. Lisa Nguyen Quang Do, Karim Ali, Ben Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. International Conference on Software Engineering (ICSE), demo paper.

2016

Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis. Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. European Conference on Object-Oriented Programming (ECOOP).

2015

Type-Based Call Graph Construction Algorithms for Scala. Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, and Frank Tip. ACM Transactions on Software Engineering and Methodology (TOSEM).
Towards Secure Integration of Cryptographic Software. Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!).

2014

Constructing Call Graphs of Scala Programs. Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, and Frank Tip. European Conference on Object-Oriented Programming (ECOOP).
The Separate Compilation Assumption, Ph.D. thesis, David R. Cheriton School of Computer Science, University of Waterloo.

2013

Averroes: Whole-Program Analysis without the Whole Program. Karim Ali and Ondřej Lhoták. European Conference on Object-Oriented Programming (ECOOP).
Averroes: Whole-Program Analysis without the Whole Program. European Conference on Object-Oriented Programming (ECOOP), poster.

2012

Application-Only Call Graph Construction. Karim Ali and Ondřej Lhoták. European Conference on Object-Oriented Programming (ECOOP).

2010

Algorizmi: A configurable virtual testbed to generate datasets for offline evaluation of Intrusion Detection Systems, M.Math thesis, David R. Cheriton School of Computer Science, University of Waterloo.

2009

Applying kernel methods to anomaly-based Intrusion Detection Systems. Karim Ali and Raouf Boutaba. IEEE Global Information Infrastructure Symposium.
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks. Karim Ali, Issam Aib, and Raouf Boutaba. IEEE Global Information Infrastructure Symposium.

2008

A Java-Based Programming Language Support of Location Management in Pervasive Systems. Sherif G. Aly, Sarah Nadi, and Karim Hamdan1. International Journal of Computer Science and Network Security.

1. Hamdan is my middle name and was used as my family name for this journal publication.