Seguir
Eric Bodden
Eric Bodden
Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM
Dirección de correo verificada de uni-paderborn.de - Página principal
Título
Citado por
Citado por
Año
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
25912014
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
7592015
Effective {Inter-Component} communication mapping in android: An essential step towards holistic security analysis
D Octeau, P McDaniel, S Jha, A Bartel, E Bodden, J Klein, Y Le Traon
22nd USENIX Security Symposium (USENIX Security 13), 543-558, 2013
5712013
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
4702011
A machine-learning approach for classifying and categorizing android sources and sinks.
S Rasthofer, S Arzt, E Bodden
NDSS 14, 1125, 2014
4542014
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
3452015
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
2992011
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
2902016
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
2612012
Temporal assertions using AspectJ
V Stolz, E Bodden
Electronic notes in theoretical computer science 144 (4), 109-124, 2006
2292006
Harvesting runtime values in Android applications that feature anti-analysis techniques.
S Rasthofer, S Arzt, M Miltenberger, E Bodden
NDSS, 2016
1842016
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
1732012
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
1602007
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
1492013
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
1472019
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
1452016
Cognicrypt: Supporting developers in using cryptography
S 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 …, 2017
1322017
Highly precise taint analysis for android applications
C Fritz, S Arzt, S Rasthofer, E Bodden, A Bartel, J Klein, Y Le Traon, ...
1182013
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
1162014
Racer: Effective race detection using AspectJ
E Bodden, K Havelund
Proceedings of the 2008 international symposium on Software testing and …, 2008
1122008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20