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 |