SoK: Robust properties, robust abstractions and back-translations.
Saved in:
| Title: | SoK: Robust properties, robust abstractions and back-translations. |
|---|---|
| Authors: | Lanckriet, Emiel1 (AUTHOR) emiel.lanckriet@kuleuven.be, Piessens, Frank1 (AUTHOR), Devriese, Dominique1 (AUTHOR) |
| Source: | Journal of Computer Security. May2026, Vol. 34 Issue 3, p230-257. 28p. |
| Database: | Business Source Ultimate |
| ISSN: | 0926227X |
|---|---|
| DOI: | 10.1177/0926227X251409398 |