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
- 2024
[j38]Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
Java Bytecode Normalization for Code Similarity Analysis (Artifact). Dagstuhl Artifacts Ser. 10(2): 20:1-20:3 (2024)- [j37]Ashwin Prasad Shivarpatna Venkatesh
, Samkutty Sabu, Mouli Chekkapalli, Jiawei Wang, Li Li, Eric Bodden:
Static analysis driven enhancements for comprehension in machine learning notebooks. Empir. Softw. Eng. 29(5): 136 (2024) - [j36]Eric Bodden, Jens Pottebaum, Markus Fockel, Iris Gräßler:
Evaluating Security Through Isolation and Defense in Depth. IEEE Secur. Priv. 22(1): 69-72 (2024) - [j35]Eric Bodden, Yasemin Acar, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Bernhard Rumpe:
Ernst Denert Preis 2023. Softwaretechnik-Trends 44(2): 55 (2024) - [c157]Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden:
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. ECOOP 2024: 36:1-36:28 - [c156]Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
Java Bytecode Normalization for Code Similarity Analysis. ECOOP 2024: 37:1-37:29 - [c155]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. FORGE 2024: 35-39 - [c154]Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei:
Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report). FUZZING 2024: 13-22 - [c153]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden:
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. ICSE Companion 2024: 49-53 - [c152]Kadiray Karakaya, Eric Bodden:
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. ICSE 2024: 104:1-104:12 - [c151]Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
Detecting Security-Relevant Methods using Multi-label Machine Learning. IDE@ICSE 2024: 101-106 - [c150]Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden:
Do Android App Developers Accurately Report Collection of Privacy-Related Data? ASE Workshops 2024: 176-186 - [c149]Mugdha Khedkar, Michael Schlichtig, Eric Bodden:
Advancing Android Privacy Assessments with Automation. ASE Workshops 2024: 218-222 - [c148]Mugdha Khedkar, Eric Bodden:
Toward an Android Static Analysis Approach for Data Protection. MOBILESoft@ICSE 2024: 65-68 - [c147]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies (Summary). Software Engineering 2024: 115-116 - [c146]Kadiray Karakaya, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. Software Engineering 2024: 159-160 - [c145]Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, Dongjie He:
SootUp: A Redesign of the Soot Static Analysis Framework. TACAS (1) 2024: 229-247 - [c144]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER 2024: 693-704 - [i29]Kadiray Karakaya, Eric Bodden:
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. CoRR abs/2401.14813 (2024) - [i28]Mugdha Khedkar, Eric Bodden:
Toward an Android Static Analysis Approach for Data Protection. CoRR abs/2402.07889 (2024) - [i27]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. CoRR abs/2402.17679 (2024) - [i26]Oshando Johnson, Goran Piskachev, Ranjith Krishnamurthy, Eric Bodden:
Detecting Security-Relevant Methods using Multi-label Machine Learning. CoRR abs/2403.07501 (2024) - [i25]Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden:
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR abs/2403.07808 (2024) - [i24]Stefan Schott, Wolfram Fischer, Serena Elisa Ponta, Jonas Klauke, Eric Bodden:
Compilation of Commit Changes within Java Source Code Repositories. CoRR abs/2407.17853 (2024) - [i23]Mugdha Khedkar, Ambuj Kumar Mondal, Eric Bodden:
Do Android App Developers Accurately Report Collection of Privacy-Related Data? CoRR abs/2409.04167 (2024) - [i22]Mugdha Khedkar, Michael Schlichtig, Eric Bodden:
Advancing Android Privacy Assessments with Automation. CoRR abs/2409.06564 (2024) - [i21]Ashwin Prasad Shivarpatna Venkatesh, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden:
An Empirical Study of Large Language Models for Type and Call Graph Analysis. CoRR abs/2410.00603 (2024) - 2023
- [j34]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) - [j33]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) - [j32]Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo:
Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. 49(10): 4510-4525 (2023) - [c143]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 - [c142]Andreas Dann, Ben Hermann, Eric Bodden:
UPCY: Safely Updating Outdated Dependencies. ICSE 2023: 233-244 - [c141]Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf:
Model Generation For Java Frameworks. ICST 2023: 165-175 - [c140]Kadiray Karakaya, Eric Bodden:
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. ICST 2023: 305-316 - [c139]Marcus Nachtigall, Michael Schlichtig, Eric Bodden:
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. Software Engineering 2023: 95-96 - [c138]Michael Schlichtig, Steffen Sassalla, Krishna Narasimhan, Eric Bodden:
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. Software Engineering 2023: 105-106 - [c137]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev 2023: 14-25 - [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 - [d7]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Zenodo, 2023
- [d6]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Zenodo, 2023 - [d5]Andreas Dann, Ben Hermann, Eric Bodden:
UpCy: Safely Updating Outdated Dependencies. Zenodo, 2023 - [d4]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. Zenodo, 2023 - [i20]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) - [i19]Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden:
slash: A Technique for Static Configuration-Logic Identification. CoRR abs/2310.06758 (2023) - [i18]Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden:
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. CoRR abs/2312.16882 (2023) - [i17]Eric Bodden, Sam Weber, Laurie A. Williams:
Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar 23181). Dagstuhl Reports 13(5): 1-21 (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 - [d3]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 - [d2]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification (Artifact Package). Zenodo, 2021 - [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 - [d1]Stefan Krüger, André Sonntag, Karim Ali, Eric Bodden:
CogniCrypt_GEN - Generating Code for the Secure Use of Crypto APIs (Artefact). Zenodo, 2020
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]