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.

117 Publications


2018 | Conference Paper | LibreCat-ID: 5203
Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat | Files available | Download (ext.)
 

2017 | Misc | LibreCat-ID: 28231
Bodden, Eric, et al. Intelligente technische Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.
LibreCat
 

2017 | Book | LibreCat-ID: 24221
Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017, doi:10.17619/UNIPB/1-93.
LibreCat | Files available | DOI
 

2017 | Book (Editor) | LibreCat-ID: 27415
Gausemeier, Jürgen, et al., editors. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). , Band 369. Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 20552
Gerking, Christopher, et al. “Industrial Security by Design.” Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, edited by Günter W. Maier et al., Springer Berlin Heidelberg, 2017, pp. 1–24, doi:10.1007/978-3-662-52903-4_8-1.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane, Lotfi, et al. “Time for Addressing Software Security Issues: Prediction Models and Impacting Factors.” Data Science and Engineering, vol. 2, no. 2, 2017, pp. 107–24, doi:https://doi.org/10.1007/s41019-016-0019-8.
LibreCat | Files available | DOI
 

2017 | Report | LibreCat-ID: 20554
Bodden, Eric. Self-Adaptive Static Analysis. 2017.
LibreCat | Download (ext.)
 

2017 | Report | LibreCat-ID: 20555
Krüger, Stefan, et al. CrySL: Validating Correct Usage of Cryptographic APIs. 2017.
LibreCat | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 20557
Lillack, Max, et al. “Tracking Load-Time Configuration Options.” IEEE Transactions on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20558
Krüger, Stefan, et al. “CogniCrypt: Supporting Developers in Using Cryptography.” International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20559
Do, Lisa Nguyen Quang, et al. “Just-in-Time Static Analysis.” Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 307–17, doi:10.1145/3092703.3092705.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 20715
Nguyen Quang Do, Lisa, et al. “Cheetah: Just-in-Time Taint Analysis for Android Apps.” International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
LibreCat | Download (ext.)
 

2017 | Book | LibreCat-ID: 23010
Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Vol. 369, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 5725
Holzinger, Philipp, et al. “Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation.” 2017 IEEE Symposium on Security and Privacy (SP), IEEE, 2017, doi:10.1109/sp.2017.16.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 5204
Späth, Johannes, et al. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 5209
Fischer, Andreas, et al. “Computation on Encrypted Data Using Data Flow Authentication.” CoRR, vol. abs/1710.00390, 2017.
LibreCat | Files available | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20556
Bodden, Eric, et al. “Information Flow Analysis for Go.” 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–45, doi:10.1007/978-3-319-47166-2_30.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20716
Bodden, Eric, et al. “Don’t Let Data Go Astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go.” Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat | Download (ext.)
 

2016 | Report | LibreCat-ID: 20717
Nguyen Quang Do, Lisa, et al. Just-in-Time Static Analysis. 2016, doi:http://dx.doi.org/10.7939/DVN/10859.
LibreCat | DOI | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20718
Rasthofer, Siegfried, et al. “Harvester - Vollautomatische Extraktion von Laufzeitwerten Aus Obfuskierten Android-Applikationen.” Datenschutz Und Datensicherheit, 2016, pp. 718–22, doi:https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

(person=59256)

status=public

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed