conf.researchr.org / Letterio Galletta
![Letterio Galletta](https://conf.researchr.org/getProfileImage/letteriogalletta/6cc71e6f-85b1-4205-832a-f7578ba0b0d5/small.jpg?1711517636000)
Registered user since Sun 4 Jul 2021
Name:Letterio Galletta
Bio:
I am an Assistant Professor of Computer Science within the SySMA research unit of IMT Lucca. 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.
Country:Italy
Affiliation:IMT School for Advanced Studies Lucca
Personal website: https://sysma.imtlucca.it/pages/letterio-galletta/
Contributions