Ignacio Tiraboschi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Publications

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. VMCAI (2023)
Ignacio Tiraboschi, Tamara Rezk, Xavier Rival
Sound Symbolic Execution via Abstract Interpretation and its Application to Security. CoRR (2023)