Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Bodden
Person information
- affiliation: Paderborn University, Germany
- affiliation: Fraunhofer-Institut für Entwurfstechnik Mechatronik, Paderborn, Germany
- affiliation: Technische Universität Darmstadt, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j33]Goran Piskachev, Matthias Becker, Eric Bodden:
Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empir. Softw. Eng. 28(5): 118 (2023)- [j32]Imen Sayar
, Alexandre Bartel, Eric Bodden, Yves Le Traon:
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 32(1): 25:1-25:45 (2023) - [c142]Jens Pottebaum, Jost Rossel, Juraj Somorovsky, Yasemin Acar, René Fahr, Patricia Arias Cabarcos, Eric Bodden, Iris Gräßler:
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. EuroS&P Workshops 2023: 379-385 - [c141]Andreas Dann, Ben Hermann, Eric Bodden:
UPCY: Safely Updating Outdated Dependencies. ICSE 2023: 233-244 - [c140]Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. ICST 2023: 165-175 - [c139]Kadiray Karakaya, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. ICST 2023: 305-316 - [c138]Marcus Nachtigall, Michael Schlichtig, Eric Bodden:
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. Software Engineering 2023: 95-96 - [c137]Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden:
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. Software Engineering 2023: 105-106 - [c136]Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden:
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. SANER 2023: 391-401 - [i17]Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden:
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. CoRR abs/2301.04419 (2023) - 2022
- [j31]Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden:
Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29(1): 35 (2022) - [j30]Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci:
TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empir. Softw. Eng. 27(1): 16 (2022) - [j29]Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden:
Fluently specifying taint-flow queries with fluentTQL. Empir. Softw. Eng. 27(5): 104 (2022) - [j28]Adam Shostack, Fabio Massacci, Eric Bodden, Antonino Sabetta:
25 Years in Application Security: Looking Back, Looking Forward. IEEE Secur. Priv. 20(1): 109-112 (2022) - [j27]Fabio Massacci, Antonino Sabetta, Jelena Mirkovic, Toby Murray, Hamed Okhravi, Mohammad Mannan, Anderson Rocha, Eric Bodden, Daniel E. Geer:
"Free" as in Freedom to Protest? IEEE Secur. Priv. 20(5): 16-21 (2022) - [j26]Andreas Fischer, Benny Fuhry, Jörn Kußmaul, Jonas Janneck, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data Using Dataflow Authentication. ACM Trans. Priv. Secur. 25(3): 21:1-21:36 (2022) - [j25]Lisa Nguyen Quang Do, Eric Bodden:
Explaining Static Analysis With Rule Graphs. IEEE Trans. Software Eng. 48(2): 678-690 (2022) - [j24]Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden:
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Trans. Software Eng. 48(9): 3613-3625 (2022) - [c135]Marcus Nachtigall, Michael Schlichtig, Eric Bodden:
A large-scale study of usability criteria addressed by static analysis tools. ISSTA 2022: 532-543 - [c134]Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden:
Integrating Security Protocols in Scenario-based Requirements Specifications. MODELSWARD 2022: 15-25 - [c133]Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden:
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? SCAM 2022: 230-235 - [c132]Andreas Dann, Henrik Plate, Ben Hermann, Serena Elisa Ponta, Eric Bodden:
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite (Short Summary). Software Engineering 2022: 21-23 - [c131]Linghui Luo, Eric Bodden:
IDE Support for Cloud-Based Static Analyses. Software Engineering 2022: 61-63 - [c130]Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci:
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses. Software Engineering 2022: 65-67 - [c129]Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden:
How far are German companies in improving security through static program analysis tools? SecDev 2022: 7-15 - [c128]Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden:
FUM - A Framework for API Usage constraint and Misuse Classification. SANER 2022: 673-684 - [d1]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE DataPort, 2022
- [i16]Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden:
Fluently specifying taint-flow queries with fluentTQL. CoRR abs/2204.03089 (2022) - [i15]Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini:
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR abs/2204.06447 (2022) - [i14]Ranjith Krishnamurthy, Goran Piskachev, Eric Bodden:
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version). CoRR abs/2207.09379 (2022) - [i13]Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden:
How far are German companies in improving security through static program analysis tools? CoRR abs/2208.06136 (2022) - [i12]Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon:
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. CoRR abs/2208.08173 (2022) - 2021
- [j23]Andreas Dann, Ben Hermann, Eric Bodden:
ModGuard : Identifying Integrity & Confidentiality Violations in Java Modules. IEEE Trans. Software Eng. 47(8): 1656-1667 (2021) - [j22]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47(11): 2382-2400 (2021) - [c127]Philipp Holzinger, Eric Bodden:
A Systematic Hardening of Java's Information Hiding. ASSS@AsiaCCS 2021: 11-22 - [c126]Philipp Dominik Schubert, Ben Hermann, Eric Bodden:
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. ECOOP 2021: 2:1-2:31 - [c125]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. ECOOP 2021: 19:1-19:27 - [c124]Johannes Geismann, Bastian Haverkamp, Eric Bodden:
Ensuring threat-model assumptions by using static code analyses. ECSA (Companion) 2021 - [c123]Ashwin Prasad Shivarpatna Venkatesh, Eric Bodden:
Automated cell header generator for Jupyter notebooks. AISTA@ISSTA 2021: 17-20 - [c122]Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric Bodden:
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. SCAM 2021: 12-17 - [c121]Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden:
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM 2021: 18-23 - [c120]Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
SecuCheck: Engineering configurable taint analysis for software developers. SCAM 2021: 24-29 - [c119]Kadiray Karakaya, Eric Bodden:
SootFX: A Static Code Feature Extraction Tool for Java and Android. SCAM 2021: 181-186 - [c118]Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges Jr., Eric Bodden, Andreas Zeller:
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis. Software Engineering 2021: 23-26 - [c117]Andreas Dann, Ben Hermann, Eric Bodden:
ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules. Software Engineering 2021: 29-31 - [c116]Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden:
IDE support for cloud-based static analyses. ESEC/SIGSOFT FSE 2021: 1178-1189 - [i11]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. CoRR abs/2105.04950 (2021) - 2020
- [j21]Johannes Geismann, Eric Bodden:
A systematic literature review of model-driven security engineering for cyber-physical systems. J. Syst. Softw. 169: 110697 (2020) - [j20]Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data using Dataflow Authentication. Proc. Priv. Enhancing Technol. 2020(1): 5-25 (2020) - [j19]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE Trans. Software Eng. 46(7): 697-709 (2020) - [c115]Stefan Krüger, Karim Ali, Eric Bodden:
CogniCryptGEN: generating code for the secure usage of crypto APIs. CGO 2020: 185-198 - [c114]Andreas Fischer, Jonas Janneck, Jörn Kussmaul, Nikolas Krätzschmar, Florian Kerschbaum, Eric Bodden:
PASAPTO: Policy-aware Security and Performance Trade-off Analysis-Computation on Encrypted Data with Restricted Leakage. CSF 2020: 230-245 - [c113]Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges, Eric Bodden, Andreas Zeller:
Heaps'n leaks: how heap snapshots improve Android taint analysis. ICSE 2020: 1061-1072 - [c112]Iris Gräßler, Eric Bodden, Jens Pottebaum, Johannes Geismann, Daniel Roesmann:
Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. KKA 2020: 1458-1469 - [c111]Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden:
Scenario-based specification of security protocols and transformation to security model checkers. MoDELS 2020: 343-353 - [c110]Felix Pauck, Eric Bodden, Heike Wehrheim:
Reproducing Taint-Analysis Results with ReproDroid. SE 2020: 123-124 - [p1]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148
2010 – 2019
- 2019
- [j18]Johannes Späth, Karim Ali, Eric Bodden:
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. 3(POPL): 48:1-48:29 (2019) - [c109]Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel:
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CODASPY 2019: 25-36 - [c108]Linghui Luo, Julian Dolby, Eric Bodden:
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). ECOOP 2019: 21:1-21:25 - [c107]Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz:
The Impact of Developer Experience in Using Java Cryptography. ESEM 2019: 1-6 - [c106]Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden:
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. FM Workshops (2) 2019: 557-572 - [c105]Lars Stockmann, Sven Laux, Eric Bodden:
Architectural Runtime Verification. ICSA Companion 2019: 77-84 - [c104]Goran Piskachev, Lisa Nguyen Quang Do, Eric Bodden:
Codebase-adaptive detection of security-relevant methods. ISSTA 2019: 181-191 - [c103]Marcus Nachtigall, Lisa Nguyen Quang Do, Eric Bodden:
Explaining Static Analysis - A Perspective. ASE Workshops 2019: 29-32 - [c102]Linghui Luo, Eric Bodden, Johannes Späth:
A Qualitative Analysis of Android Taint-Analysis Results. ASE 2019: 102-114 - [c101]Goran Piskachev, Lisa Nguyen Quang Do, Oshando Johnson, Eric Bodden:
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods. ASE 2019: 1094-1097 - [c100]Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden:
Know your analysis: how instrumentation aids understanding static analysis. SOAP@PLDI 2019: 8-13 - [c99]Andreas Dann, Ben Hermann, Eric Bodden:
SootDiff: bytecode comparison across different Java compilers. SOAP@PLDI 2019: 14-19 - [c98]Philipp Dominik Schubert, Ben Hermann, Eric Bodden:
PhASAR: An Inter-procedural Static Analysis Framework for C/C++. TACAS (2) 2019: 393-410 - [i10]Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel:
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. CoRR abs/1901.03603 (2019) - [i9]Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz:
The Impact of Developer Experience in Using Java Cryptography. CoRR abs/1908.01489 (2019) - 2018
- [j17]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4(3): 06:1-06:4 (2018) - [j16]Max Lillack, Christian Kästner, Eric Bodden:
Tracking Load-Time Configuration Options. IEEE Trans. Software Eng. 44(12): 1269-1291 (2018) - [c97]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP 2018: 10:1-10:27 - [c96]Christopher Gerking, David Schubert, Eric Bodden:
Model Checking the Information Flow Security of Real-Time Systems. ESSoS 2018: 27-43 - [c95]Eric Bodden:
Self-adaptive static analysis. ICSE (NIER) 2018: 45-48 - [c94]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) 2018: 89-92 - [c93]Eric Bodden:
State of the systems security. ICSE (Companion Volume) 2018: 550-551 - [c92]Johannes Geismann, Christopher Gerking, Eric Bodden:
Towards ensuring security by design in cyber-physical systems engineering processes. ICSSP 2018: 123-127 - [c91]Eric Bodden:
The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). ISSTA/ECOOP Workshops 2018: 85-93 - [c90]Eric Bodden, Lisa Nguyen Quang Do:
Explainable Static Analysis. Software Engineering 2018: 205-208 - [c89]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE 2018: 331-341 - [c88]Lisa Nguyen Quang Do, Eric Bodden:
Gamifying static analysis. ESEC/SIGSOFT FSE 2018: 714-718 - [e10]Frank Tip, Eric Bodden:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM 2018 [contents] - [e9]Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, Jan-Philipp Steghöfer:
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. LNI P-279, Gesellschaft für Informatik 2018, ISBN 978-3-88579-673-2 [contents] - [i8]Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. CoRR abs/1801.04894 (2018) - [i7]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android Taint Analysis Tools Keep their Promises? CoRR abs/1804.02903 (2018) - 2017
- [j15]Lotfi Ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker:
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Sci. Eng. 2(2): 107-124 (2017) - [j14]Johannes Späth, Karim Ali, Eric Bodden:
IDEal: efficient and precise alias-aware dataflow analysis. Proc. ACM Program. Lang. 1(OOPSLA): 99:1-99:27 (2017) - [c87]Steven Arzt, Siegfried Rasthofer, Eric Bodden:
The Soot-Based Toolchain for Analyzing Android Apps. MOBILESoft@ICSE 2017: 13-24 - [c86]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) 2017: 39-42 - [c85]Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Just-in-time static analysis. ISSTA 2017: 307-317 - [c84]Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath:
CogniCrypt: supporting developers in using cryptography. ASE 2017: 931-936 - [c83]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering 2017: 57 - [c82]Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden:
App Mining. Software Engineering 2017: 113-114 - [c81]Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini:
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. IEEE Symposium on Security and Privacy 2017: 1027-1040 - [e8]Eric Bodden, Mathias Payer, Elias Athanasopoulos:
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. Lecture Notes in Computer Science 10379, Springer 2017, ISBN 978-3-319-62104-3 [contents] - [e7]Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman:
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. ACM 2017, ISBN 978-1-4503-5105-8 [contents] - [i6]Andreas Fischer, Benny Fuhry, Florian Kerschbaum, Eric Bodden:
Computation on Encrypted Data using Data Flow Authentication. CoRR abs/1710.00390 (2017) - [i5]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR abs/1710.00564 (2017) - [i4]Eric Bodden:
Self-adaptive static analysis. CoRR abs/1710.07430 (2017) - 2016
- [j13]Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. 2(1): 12:1-12:2 (2016) - [j12]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Harvester. Datenschutz und Datensicherheit 40(11): 718-722 (2016) - [j11]Andreas Follner, Eric Bodden:
ROPocop - Dynamic mitigation of code-reuse attacks. J. Inf. Secur. Appl. 29: 16-26 (2016) - [j10]Matthew B. Dwyer, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [c80]Philipp Holzinger, Stefan Triller, Alexandre Bartel, Eric Bodden:
An In-Depth Study of More Than Ten Years of Java Exploitation. CCS 2016: 779-790 - [c79]Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP 2016: 22:1-22:26 - [c78]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Reverse Engineering Android Apps With CodeInspect (invited paper). IMPS@ESSoS 2016: 1-8 - [c77]Andreas Follner, Alexandre Bartel, Eric Bodden:
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. ESSoS 2016: 155-172 - [c76]Nicole Eling, Siegfried Rasthofer, Max Kolhagen, Eric Bodden, Peter Buxmann:
Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment. HICSS 2016: 3666-3675 - [c75]Steven Arzt, Eric Bodden:
StubDroid: automatic inference of precise data-flow summaries for the android framework. ICSE 2016: 725-735 - [c74]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
Jumping through hoops: why do Java developers struggle with cryptography APIs? ICSE 2016: 935-946 - [c73]Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert:
Information Flow Analysis for Go. ISoLA (1) 2016: 431-445 - [c72]Siegfried Rasthofer, Steven Arzt, Marc Miltenberger, Eric Bodden:
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques. NDSS 2016 - [c71]