Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018CrySL: An extensible approach to validating the correct usage of cryptographic APIs
Krüger, S.; Späth, J.; Ali, K.; Bodden, E.; Mezini, M.
Conference Paper
2018Model checking the information flow security of real-time systems
Gerking, C.; Schubert, D.; Bodden, E.
Conference Paper
2018Self-adaptive static analysis
Bodden, E.
Conference Paper
2018State of the systems security
Bodden, E.
Conference Paper
2018Towards ensuring security by design in cyber-physical systems engineering processes
Geismann, J.; Gerking, C.; Bodden, E.
Conference Paper
2018VISUFLOW: A debugging environment for static analyses
Do, L.N.Q.; Krüger, S.; Hill, P.; Ali, K.; Bodden, E.
Conference Paper
2017Cheetah: Just-in-time taint analysis for android apps
Do, L.N.Q.; Ali, K.; Livshits, B.; Bodden, E.; Smith, J.; Murphy-Hill, E.
Conference Paper
2017Hardening Javas Access Control by Abolishing Implicit Privilege Elevation
Holzinger, Philipp; Hermann, Ben; Lerch, Johannes; Bodden, Eric; Mezini, Mira
Conference Paper
2017Improving mobile-malware investigations with static and dynamic code analysis techniques
Rasthofer, Siegfried
: Bodden, Eric; Zeller, Andreas; Mezini, Mira
Dissertation
2017Just-in-time static analysis
Do, L.N.Q.; Ali, K.; Livshits, B.; Bodden, E.; Smith, J.; Murphy-Hill, E.
Conference Paper
2017The soot-based toolchain for analyzing android apps
Rasthofer, Siegfried; Arzt, Steven; Bodden, Eric
Conference Paper
2016Analyzing the gadgets: Towards a metric to measure gadget quality
Follner, A.; Bartel, A.; Bodden, E.
Conference Paper
2016Boomerang: Demand-driven flow- and context-sensitive pointer analysis for Java
Späth, J.; Quang Do, L.N.; Ali, K.; Bodden, E.
Conference Paper
2016Engineering secure software and systems. 8th international symposium, ESSoS 2016
: Caballero, J.; Bodden, E.; Athanasopoulos, E.
Conference Proceedings
2016An in-depth study of more than ten years of Java exploitation
Holzinger, P.; Triller, S.; Bartel, A.; Bodden, E.
Conference Paper
2016Investigating users' reaction to fine-grained data requests: A market experiment
Eling, N.; Rasthofer, S.; Kolhagen, M.; Bodden, E.; Buxmann, P.
Conference Paper
2016Jumping through hoops: Why do Java developers struggle with cryptography APIs?
Nadi, S.; Krüger, S.; Mezini, M.; Bodden, E.
Conference Paper
2016Program analysis for the MS .NET framework
Kußmaul, Tobias
: Bodden, Eric; Arzt, Steven
Master Thesis
2016PSHAPE: Automatically combining gadgets for arbitrary method execution
Follner, A.; Bartel, A.; Peng, H.; Chang, Y.-C.; Ispoglou, K.; Payer, M.; Bodden, E.
Conference Paper
2016Reverse engineering Android Apps with CodeInspect
Rasthofer, S.; Arzt, S.; Miltenberger, M.; Bodden, E.
Conference Paper
2016StubDroid: Automatic inference of precise data-flow summaries for the android framework
Arzt, S.; Bodden, E.
Conference Paper
2016Toward an automated benchmark management system
Do, L.N.Q.; Eichberg, M.; Bodden, E.
Conference Paper
2016Towards a comprehensive model of isolation for mitigating illicit channels
Falzon, K.; Bodden, E.
Conference Paper
2016Towards cross-platform cross-language analysis with soot
Arzt, S.; Kussmaul, T.; Bodden, E.
Conference Paper
2015Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths
Lerch, Johannes; Späth, Johannes; Bodden, Eric; Mezini, Mira
Conference Paper
2015DroidSearch: A tool for scaling Android app triage to real-world app stores
Rasthofer, Siegfried; Arzt, Steven; Kolhagen, Max; Pfretzschner, Brian; Huber, Stephan; Bodden, Eric; Richter, Philipp
Conference Paper
2015Dynamically provisioning isolation in hierarchical architectures
Falzon, Kevin; Bodden, Eric
Conference Paper
2015Factors impacting the effort required to fix security vulnerabilities. An industrial case study
Othmane, L. ben; Chehrazi, G.; Bodden, E.; Tsalovski, P.; Brucker, A.D.; Miseldine, P.
Conference Paper
2015Flow-insensitive information flow analysis (for Android)
Müller, Patrick
: Bodden, Eric
Bachelor Thesis
2015How current android malware seeks to evade automated code analysis
Rasthofer, Siegfried; Asrar, Irfan; Huber, Stephan; Bodden, Eric
Conference Paper
2015IccTA: Detecting inter-component privacy leaks in Android apps
Li, Li; Bartel, Alexandre; Bissyande, Tegawende F.; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick
Conference Paper
2015Incorporating attacker capabilities in risk estimation and mitigation
Othmane, L. ben; Ranchal, R.; Fernando, R.; Bhargava, B.; Bodden, E.
Journal Article
2015An investigation of the Android/BadAccents malware which exploits a new Android tapjacking attack
Rasthofer, Siegfried; Asrar, Irfan; Huber, Stephan; Bodden, Eric
Report
2015jÄk: Using dynamic analysis to crawl and test modern web applications
Pellegrino, Giancarlo; Tschürtz, Constantin; Bodden, Eric; Rossow, Christian
Conference Paper
2015Mining apps for abnormal usage of sensitive data
Avdiienko, Vitalii; Kuznetsov, Konstantin; Gorla, Alessandra; Zeller, Andreas; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric
Conference Paper
2015Security Analysis of TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2015Sicherheitsanalyse TrueCrypt
Baluda, Mauro; Fuchs, Andreas; Holzinger, Philipp; Nguyen, L.; Othmane, Lotfi Ben; Poller, Andreas; Repp, Jürgen; Späth, Johannes; Steffan, Jan; Triller, Stefan; Bodden, Eric
Study
2015Time for addressing software security issues: Prediction models and impacting factors
Othmane, Lotfi ben; Chehrazi, Golriz; Bodden, Eric; Tsalovski, Petar; Brucker, Achim D.
Report
2015Toward a just-in-time static analysis
Nguyen Quang Do, Lisa; Ali, Karim; Bodden, Eric; Livshits, Benjamin
Report
2015Towards secure integration of cryptographic software
Arzt, Steven; Nadi, S.; Ali, Karim; Bodden, Eric; Erdweg, S.; Mezini, Mira
Conference Paper
2015Using targeted symbolic execution for reducing false-positives in dataflow analysis
Arzt, S.; Rasthofer, S.; Hahn, R.; Bodden, E.
Conference Paper
2014Android-Malware-Erkennung durch maschinelles Lernen
Pauli, Patrick
: Bodden, Eric
Bachelor Thesis
2014Denial-of-app attack: Inhibiting the installation of Android apps on stock phones
Arzt, Steven; Huber, Stephan; Rasthofer, Siegfried; Bodden, Eric
Conference Paper
2014DroidForce: Enforcing complex, data-centric, system-wide policies in Android
Rasthofer, Siegfried; Arzt, Steven; Lovat, Enrico; Bodden, Eric
Conference Paper
2014Dynamically enforcing usability and security properties of android advertisement libraries
Kolhagen, Max
: Bodden, Eric; Rasthofer, Siegfried
Bachelor Thesis
2014FlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
Arzt, Steven; Rasthofer, Siegfried; Fritz, Christian; Bodden, Eric; Bartel, Alexandre; Klein, Jacques; Traon, Yves le; Octeau, Damien; McDaniel, Patrick
Conference Paper
2014FlowTwist: Efficient context-sensitive inside-out taint analysis for large codebases
Lerch, Johannes; Hermann, Ben; Bodden, Eric; Mezini, Mira
Conference Paper
2014Likelihoods of threats to connected vehicles
Othmane, Lotfi ben; Fernando, Ruchith; Ranchal, Rohit; Bhargava, Bharat; Bodden, Eric
Journal Article
2014A machine-learning approach for classifying and categorizing Android sources and sinks
Rasthofer, Siegfried; Arzt, Steven; Bodden, Eric
Conference Paper
2014Reviser: Efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes
Arzt, Steven; Bodden, Eric
Conference Paper
2014Tracking load-time configuration options
Lillack, M.; Kästner, C.; Bodden, E.
Conference Paper
2014TS4J: A fluent interface for defining and computing typestate analyses
Bodden, E.
Conference Paper
2014Variational data structures: Exploring tradeoffs in computing with variability
Walkingshaw, E.; Kästner, C.; Erwig, M.; Apel, S.; Bodden, E.
Conference Paper
2014Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen
Bartsch, S.; Berger, B.J.; Bodden, E.; Brucker, A.D.; Heider, J.; Kus, M.; Maseberg, S.; Sohr, K.; Volkamer, M.
Conference Paper