TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 15.

Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira :
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
[Online-Edition: https://2018.ecoop.org/]
In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 15.-21.07.2018, Amsterdam, The Netherlands. 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Schloss Dagstuhl-Leibniz-Zentrum für Informatik
[Conference or Workshop Item] , (2018)

Nguyen, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric :
VisuFlow: a Debugging Environment for Static Analyses.
ICSE ACM
[Conference or Workshop Item] , (2018)

Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and Kamath, Ram :
CogniCrypt: Supporting Developers in using Cryptography.
[Online-Edition: http://dl.acm.org/citation.cfm?id=3155562.3155681]
Automated Software Engineering (ASE'17) ACM , Piscataway, NJ, USA
[Conference or Workshop Item] , (2017)

Späth, Johannes and Ali, Karim and Bodden, Eric :
IDEal: Efficient and Precise Alias-aware Dataflow Analysis.
2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH) ACM Press
[Conference or Workshop Item] , (2017)

Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson :
Just-in-Time Static Analysis.
Proceedings of ISSTA ’17 ACM
[Conference or Workshop Item] , (2017)

Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson :
Cheetah: Just-in-Time Taint Analysis for Android Apps.
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) Curran Associates, Inc.
[Conference or Workshop Item] , (2017)

Späth, Johannes and Do, Lisa Nguyen Quang and Ali, Karim and Bodden, Eric :
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
30th European Conference on Object-Oriented Programming (ECOOP 2016) Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
[Conference or Workshop Item] , (2016)

Späth, Johannes and Nguyen, Lisa and Ali, Karim and Bodden, Eric :
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
European Conference on Object-Oriented Programming Dagstuhl
[Conference or Workshop Item] , (2016)

Arzt, Steven and Nadi, Sarah and Ali, Karim and Bodden, Eric and Erdweg, Sebastian and Mezini, Mira :
Towards Secure Integration of Cryptographic Software.
[Online-Edition: http://2015.splashcon.org/track/onward2015-papers]
In: OOPSLA Onward!, 25.10.2015, Piitsburgh. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software .
[Conference or Workshop Item] , (2015)

Do, Lisa Nguyen Quang and Ali, Karim and Bodden, Eric and Livshits, Benjamin :
Toward a Just-in-Time Static Analysis.
In:
[Article] , (2015)

Ali, Karim and Rapoport, Marianna and Lhoták, Ondřej and Dolby, Julian and Tip, Frank :
Constructing Call Graphs of Scala Programs.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-44202-9_3]
In: Proceedings of the 28th European Conference on Object-Oriented Programming. In: ECOOP '14 .
[Conference or Workshop Item] , (2014)

Ali, Karim and Lhoták, Ondřej :
Averroes: Whole-Program Analysis without the Whole Program.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-39038-8_16]
In: Proceedings of the 27th European Conference on Object-Oriented Programming. In: ECOOP '13 .
[Conference or Workshop Item] , (2013)

Ali, Karim and Lhoták, Ondřej :
Application-Only Call Graph Construction.
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-31057-7_30]
In: Proceedings of the 26th European Conference on Object-Oriented Programming. In: ECOOP '12 .
[Conference or Workshop Item] , (2012)

Ali, Karim and Boutaba, Raouf :
Applying Kernel Methods to Anomaly-based Intrusion Detection Systems.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Conference or Workshop Item] , (2009)

Ali, Karim and Aib, Issam and Boutaba, Raouf :
P2P-AIS: A P2P Artificial Immune Systems architecture for detecting DDoS flooding attacks.
In: Global Information Infrastructure Symposium. In: GIIS '09 .
[Conference or Workshop Item] , (2009)

This list was generated on Tue Apr 16 02:11:35 2019 CEST.