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.
218 Publications
2017 | Dissertation | LibreCat-ID: 20794
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20797
C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities,” in Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), 2017, no. 10374, pp. 19–34.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20804
J. Geismann, U. Pohlmann, and D. Schmelter, “Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems,” 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 20805
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
LibreCat
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 | Dissertation | LibreCat-ID: 195
M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat
| Files available
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 | Conference Paper | LibreCat-ID: 20556
E. Bodden, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Information Flow Analysis for Go,” in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445, doi: 10.1007/978-3-319-47166-2_30.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20716
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, and A.-K. Wickert, “Don’t let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go,” 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 20717
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, Just-in-Time Static Analysis. 2016.
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20718
S. Rasthofer, S. Arzt, E. Bodden, and M. Miltenberger, “Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen,” Datenschutz und Datensicherheit, pp. 718–722, 2016, doi: https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20719
P. Holzinger, S. Triller, A. Bartel, and E. Bodden, “An In-Depth Study of More Than Ten Years of Java Exploitation,” in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790, doi: http://doi.acm.org/10.1145/2976749.2978361.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 20720
A. Follner et al., “PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution,” in International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20721
L. Nguyen Quang Do, M. Eichberg, and E. Bodden, “Toward an Automated Benchmark Management System,” in Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20722
S. Arzt, T. Kussmaul, and E. Bodden, “Towards Cross-Platform Cross-Language Analysis with Soot,” in Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20724
A. Follner and E. Bodden, “ROPocop — Dynamic mitigation of code-reuse attacks,” Journal of Information Security and Applications , vol. 29, pp. 16–26, 2016, doi: http://dx.doi.org/10.1016/j.jisa.2016.01.002.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 20725
A. Follner, A. Bartel, and E. Bodden, “Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality,” 2016.
LibreCat
| Download (ext.)