| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Ali, Karim et al. |
2023 |
| 2 |
LIPIcs, Volume 263, ECOOP 2023, Complete Volume |
Ali, Karim et al. |
2023 |
| 3 |
Front Matter, Table of Contents, Preface, Conference Organization |
Ali, Karim et al. |
2022 |
| 4 |
LIPIcs, Volume 222, ECOOP 2022, Complete Volume |
Ali, Karim et al. |
2022 |
| 5 |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs |
Krüger, Stefan et al. |
2018 |
| 6 |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) |
Krüger, Stefan et al. |
2018 |
| 7 |
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java |
Späth, Johannes et al. |
2016 |
| 8 |
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact) |
Späth, Johannes et al. |
2016 |