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.

7 Publications


2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. In ACM Conference on Data and Application Security and Privacy (CODASPY 2019).
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 20539
Späth, J., Ali, K., & Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL), 48:1-48:29. https://doi.org/10.1145/3290361
LibreCat | DOI | Download (ext.)
 

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

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

2017 | Conference Paper | LibreCat-ID: 20558
Krüger, S., Nadi, S., Reif, M., Ali, K., Mezini, M., Bodden, E., … Kamath, R. (2017). CogniCrypt: Supporting Developers in using Cryptography. In International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20728
Nadi, S., Krüger, S., Mezini, M., & Bodden, E. (2016). Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs? In International Conference for Software Engineering (ICSE) (pp. 935–946).
LibreCat | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 5207
Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., … McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In 2015 International Conference on Software Engineering (ICSE) (pp. 280–291).
LibreCat | Files available | Download (ext.)
 

Filters and Search Terms

keyword="CROSSING"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed