Giacomo Zanatta

According to our database, Giacomo Zanatta authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2024

Inference of access policies through static analysis.

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini

Int. J. Softw. Tools Technol. Transf., December, 2024

Automating ROS2 Security Policies Extraction through Static Analysis.

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024