We stand with Ukraine  

Ignacio Tiraboschi

Orcid: 0000-0001-6142-8762

According to our database1, Ignacio Tiraboschi authored at least 2 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Intertwining Symbolic Execution and Abstract Interpretation for the Analysis of Security Properties. (Combiner l'exécution symbolique et l'interprétation abstraite pour l'analyse des propriétés de sécurité).
[BibTeX]
[DOI]
Ignacio Tiraboschi
PhD thesis, 2024

2023
Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.
[BibTeX]
[DOI]
Ignacio Tiraboschi
,
Tamara Rezk
,
Xavier Rival
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023


  Loading...