Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

39 Publications


2019 | Conference Paper | LibreCat-ID: 7626
P. Schubert, B. Hermann, and E. Bodden, “PhASAR: An Inter-Procedural Static Analysis Framework for C/C++,” in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), Prague, Czech Republic, 2019, vol. II, pp. 393–410.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 14896
A. Dann, B. Hermann, and E. Bodden, “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules,” IEEE Transactions on Software Engineering, pp. 1–1, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14897
A. Dann, B. Hermann, and E. Bodden, “SootDiff: bytecode comparison across different Java compilers,” in Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.
LibreCat | DOI | Download (ext.)
 

2019 | Bachelorsthesis | LibreCat-ID: 7628
N. Selbach, Modeling Crypto API usages in OpenSSL’s EVP library. 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 14898
P. Schubert, R. Leer, B. Hermann, and E. Bodden, “Know your analysis: how instrumentation aids understanding static analysis,” in Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14899
S. Kruger and B. Hermann, “Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts,” in 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE), 2019.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 4999
F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep their promises?,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, 2018.
LibreCat | Files available | DOI
 

2018 | Preprint | LibreCat-ID: 2711
F. Pauck, E. Bodden, and H. Wehrheim, “Do Android Taint Analysis Tools Keep their Promises?,” arXiv:1804.02903. 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 5203
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” in European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat | Files available | Download (ext.)
 

2018 | Bachelorsthesis | LibreCat-ID: 1044
R. Leer, Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 1045
J. N. Strüwer, Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat | Files available
 

2017 | Dissertation | LibreCat-ID: 102
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5204
J. Späth, K. Ali, and E. Bodden, “IDEal: Efficient and Precise Alias-aware Dataflow Analysis,” in 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 5209
A. Fischer, B. Fuhry, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data using Data Flow Authentication,” CoRR, vol. abs/1710.00390, 2017.
LibreCat | Files available | Download (ext.)
 

2016 | Report | LibreCat-ID: 198
B. Jazayeri, M. C. Platenius, G. Engels, and D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 199
B. Jazayeri, M. Platenius, G. Engels, and D. Kundisch, “Features of IT Service Markets: A Systematic Literature Review,” in Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), 2016, vol. 9936, pp. 301–316.
LibreCat | Files available | DOI
 

2016 | Report | LibreCat-ID: 221
M. C. Platenius et al., An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Dissertation | LibreCat-ID: 195
M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 5205
J. Späth, L. Nguyen Quang Do, K. Ali, and E. Bodden, “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java,” in European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat | Files available | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 5207
L. Li et al., “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps,” in 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.
LibreCat | Files available | Download (ext.)
 

Filters and Search Terms

department=76

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed