Letterio Galletta

Google ScholarORCIDLinkedInLinkLink

About me

I am a tenure-track Assistant Professor (RTD-B) of Computer Science within the SySMA research unit of IMT Lucca. Previously, I was postdoctoral researcher at the Department of Computer Science of University of Pisa. I received my Ph.D. in Computer Science from the University of Pisa, in 2014.

Research Activities

My research activities are in the field of language-based security, i.e., using techniques from programming languages, compilers and formal verification to address security problems. I applied these techniques to address security in different application domains like adaptive software, the Internet of Things, and firewall configurations.

Lately I have been working on:

Selected Publications

See my Google Scholar profile or my DBLP page for a full list of publications.