Congratulations to our Phd student Ignacio Tiraboschi for his first publication on “Sound Symbolic Execution via Abstract Interpretation and its Application to Security” to be presented in VMCAI 2023