| Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps S Arzt, S Rasthofer, C Fritz, E Bodden, A Bartel, J Klein, Y Le Traon, ... Acm Sigplan Notices 49 (6), 259-269, 2014 | 2358 | 2014 |
| Iccta: Detecting inter-component privacy leaks in android apps L Li, A Bartel, TF Bissyandé, J Klein, Y Le Traon, S Arzt, S Rasthofer, ... 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 712 | 2015 |
| Effective inter-component communication mapping in android with epicc: An essential step towards holistic security analysis D Octeau, P McDaniel, S Jha, A Bartel, E Bodden, J Klein, Y Le Traon Effective Inter-Component Communication Mapping in Android with Epicc: An …, 2013 | 554 | 2013 |
| The Soot framework for Java program analysis: a retrospective P Lam, E Bodden, O Lhoták, L Hendren Cetus Users and Compiler Infastructure Workshop (CETUS 2011) 15 (35), 2011 | 434 | 2011 |
| A machine-learning approach for classifying and categorizing android sources and sinks. S Rasthofer, S Arzt, E Bodden NDSS 14, 1125, 2014 | 431 | 2014 |
| Mining apps for abnormal usage of sensitive data V Avdiienko, K Kuznetsov, A Gorla, A Zeller, S Arzt, S Rasthofer, ... 2015 IEEE/ACM 37th IEEE international conference on software engineering 1 …, 2015 | 314 | 2015 |
| Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders E Bodden, A Sewe, J Sinschek, H Oueslati, M Mezini Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 293 | 2011 |
| Jumping through hoops: Why do Java developers struggle with cryptography APIs? S Nadi, S Krüger, M Mezini, E Bodden Proceedings of the 38th International Conference on Software Engineering …, 2016 | 252 | 2016 |
| Automated API property inference techniques MP Robillard, E Bodden, D Kawrykow, M Mezini, T Ratchford IEEE Transactions on Software Engineering 39 (5), 613-637, 2012 | 241 | 2012 |
| Temporal assertions using AspectJ V Stolz, E Bodden Electronic notes in theoretical computer science 144 (4), 109-124, 2006 | 234 | 2006 |
| Harvesting runtime values in android applications that feature anti-analysis techniques. S Rasthofer, S Arzt, M Miltenberger, E Bodden NDSS, 2016 | 167 | 2016 |
| A staged static program analysis to improve the performance of runtime monitoring E Bodden, L Hendren, O Lhoták ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007 | 159 | 2007 |
| Inter-procedural data-flow analysis with ifds/ide and soot E Bodden Proceedings of the ACM SIGPLAN International Workshop on State of the Art in …, 2012 | 155 | 2012 |
| SPLLIFT statically analyzing software product lines in minutes instead of years E Bodden, T Tolêdo, M Ribeiro, C Brabrand, P Borba, M Mezini ACM SIGPLAN Notices 48 (6), 355-364, 2013 | 136 | 2013 |
| Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java J Späth, L Nguyen Quang Do, K Ali, E Bodden 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 121 | 2016 |
| CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs S Krüger, J Späth, K Ali, E Bodden, M Mezini IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019 | 118 | 2019 |
| Highly precise taint analysis for android applications C Fritz, S Arzt, S Rasthofer, E Bodden, A Bartel, J Klein, Y Le Traon, ... | 116 | 2013 |
| Droidforce: Enforcing complex, data-centric, system-wide policies in android S Rasthofer, S Arzt, E Lovat, E Bodden 2014 Ninth International Conference on Availability, Reliability and …, 2014 | 113 | 2014 |
| Finding programming errors earlier by evaluating runtime monitors ahead-of-time E Bodden, P Lam, L Hendren Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 109 | 2008 |
| Racer: Effective race detection using AspectJ E Bodden, K Havelund Proceedings of the 2008 international symposium on Software testing and …, 2008 | 109 | 2008 |
Steven ArztFraunhofer SITVerified email at sit.fraunhofer.de
