Here I put all (1) my publications.

  1. Tiraboschi, I., Rezk, T., & Rival, X. (2023). Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. In C. Dragoi, M. Emmi, & J. Wang (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 267–295). Springer Nature Switzerland.