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
27972014
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
8242015
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
5822013
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
5112011
A machine-learning approach for classifying and categorizing android sources and sinks.
S Rasthofer, S Arzt, E Bodden
NDSS 14 (1125), 2014
4842014
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
3592015
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
3222011
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
3182016
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
2722012
Temporal assertions using AspectJ
V Stolz, E Bodden
Electronic notes in theoretical computer science 144 (4), 109-124, 2006
2322006
Harvesting runtime values in Android applications that feature anti-analysis techniques.
S Rasthofer, S Arzt, M Miltenberger, E Bodden
NDSS, 2016
1972016
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
1842012
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
1702019
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
1632013
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
1632007
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
1592016
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
1482017
Highly precise taint analysis for android applications
C Fritz, S Arzt, S Rasthofer, E Bodden, A Bartel, J Klein, Y Le Traon, ...
1212013
Stubdroid: automatic inference of precise data-flow summaries for the android framework
S Arzt, E Bodden
Proceedings of the 38th International Conference on Software Engineering …, 2016
1202016
Phasar: An inter-procedural static analysis framework for c/c++
PD Schubert, B Hermann, E Bodden
International Conference on Tools and Algorithms for the Construction and …, 2019
1192019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20