Letterio Galletta

Registered user since Sun 4 Jul 2021

Name:Letterio Galletta

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.

Affiliation:IMT School for Advanced Studies Lucca


PriSC 2023 Committee Member in Program Committee within the PriSC 2023-track
PriSC 2020 Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
PriSC 2019 Author of Translation Validation for Security Properties within the PriSC 2019-track