Search Results - "Bodden, Eric"

Software Security Analysis in 2030 and Beyond: A Research Roadmap.

Authors: Böhme, Marcel Bodden, Eric Bultan, Tevfik et al.

Source: ACM Transactions on Software Engineering & Methodology; Jun2025, Vol. 34 Issue 5, p1-26, 26p

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools.

Authors: Shivarpatna Venkatesh, Ashwin Prasad Sabu, Samkutty Wang, Jiawei et al.

Source: ICSE: International Conference on Software Engineering; 2024, p49-53, 5p

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.

Authors: Karakaya, Kadiray Bodden, Eric

Source: ICSE: International Conference on Software Engineering; 2024, p1-12, 12p

An empirical study of large language models for type and call graph analysis in Python and JavaScript.

Authors: Venkatesh, Ashwin Prasad Shivarpatna Sunil, Rose Sabu, Samkutty et al.

Source: Empirical Software Engineering; Dec2025, Vol. 30 Issue 6, p1-50, 50p

UpCy: Safely Updating Outdated Dependencies.

Authors: Dann, Andreas Hermann, Ben Bodden, Eric

Source: ICSE: International Conference on Software Engineering; 2023, p233-244, 12p

Collaborative Runtime Verification with Tracematches.

Authors: Bodden, Eric Hendren, Laurie Lam, Patrick

Source: Journal of Logic & Computation; June 2010, Vol. 20 Issue 3, p707-723, 17p

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities .

Authors: SAYAR, IMEN BARTEL, ALEXANDRE BODDEN, ERIC et al.

Source: ACM Transactions on Software Engineering & Methodology; Jan2023, Vol. 32 Issue 1, p1-45, 45p

Between law and code: challenges and opportunities for automating privacy assessments.

Authors: Khedkar, Mugdha Schlichtig, Michael Atakishiyev, Nihad et al.

Source: Automated Software Engineering; Dec2026, Vol. 33 Issue 2, p1-45, 45p

A study of privacy-related data collected by Android apps.

Authors: Khedkar, Mugdha Kumar Mondal, Ambuj Bodden, Eric

Source: Automated Software Engineering; Dec2026, Vol. 33 Issue 2, p1-31, 31p

Computation on Encrypted Data Using Dataflow Authentication.

Authors: FISCHER, ANDREAS FUHRY, BENNY KUßMAUL, JÖRN et al.

Source: ACM Transactions on Privacy & Security; May2022, Vol. 25 Issue 3, p1-36, 36p

Heaps'n Leaks: How Heap Snapshots Improve Android Taint.

Authors: Benz, Manuel Kristensen, Erik Krogh Linghui Luo et al.

Source: ICSE: International Conference on Software Engineering; 6/17/2020, p1061-1072, 12p

Static analysis driven enhancements for comprehension in machine learning notebooks.

Authors: Venkatesh, Ashwin Prasad Shivarpatna Sabu, Samkutty Chekkapalli, Mouli et al.

Source: Empirical Software Engineering; Sep2024, Vol. 29 Issue 5, p1-36, 36p

VISUFLOW.

Authors: Do, Lisa Nguyen Quang Krüger, Stefan Hill, Patrick et al.

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p89-92, 4p

Cheetah: Just-in-Time Taint Analysis for Android Apps.

Authors: Lisa Nguyen Quang Do Ali, Karim Livshits, Benjamin et al.

Source: ICSE: International Conference on Software Engineering; 2017, p39-42, 4p

Aspect-Oriented Race Detection in Java.

Authors: Bodden, Eric Havelund, Klaus

Source: IEEE Transactions on Software Engineering; July/August 2010, Vol. 36 Issue 4, p509-527, 19p

Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study.

Authors: Piskachev, Goran Becker, Matthias Bodden, Eric

Source: Empirical Software Engineering; Oct2023, Vol. 28 Issue 5, p1-28, 28p

"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?

Authors: Nadi, Sarah Krüger, Stefan Mezini, Mira et al.

Source: ICSE: International Conference on Software Engineering; 5/14/2016, p935-946, 12p

StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework.

Authors: Arzt, Steven Bodden, Eric

Source: ICSE: International Conference on Software Engineering; 5/14/2016, p725-735, 11p

Taming reflection.

Authors: Bodden, Eric Sewe, Andreas Sinschek, Jan et al.

Source: ICSE: International Conference on Software Engineering; May2011, p241-250, 10p

Efficient hybrid typestate analysis by determining continuation-equivalent states.

Authors: Bodden, Eric

Source: ICSE: International Conference on Software Engineering; May2010, p5-14, 10p