Research output per year
Research output per year
Research output
- 1 Conference contribution
- 1 results
Search results
-
2024
On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs
Ferreirinha, L. & Medeiros, I., 2024, Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024. Kaindl, H., Kaindl, H., Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 719-726 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review