Folgen
Eric Bodden
Eric Bodden
Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM
Bestätigte E-Mail-Adresse bei uni-paderborn.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
25782014
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
5702013
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
4662011
A machine-learning approach for classifying and categorizing android sources and sinks.
S Rasthofer, S Arzt, E Bodden
NDSS 14, 1125, 2014
4502014
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
2982011
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
2892016
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
1832016
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
1722012
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
1462019
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
1422016
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
1302017
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
Highly precise taint analysis for android applications
C Fritz, S Arzt, S Rasthofer, E Bodden, A Bartel, J Klein, Y Le Traon, ...
1162013
Racer: Effective race detection using AspectJ
E Bodden, K Havelund
Proceedings of the 2008 international symposium on Software testing and …, 2008
1122008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20