Author

Letterio Galletta

h-index 12 View on Semantic Scholar

We have 2 of 101 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Enforcement of In-Kernel Stateful Security Policies via eBPF

Many attacks against workloads running on multi-tenant systems are multi-step and history-dependent: sequences of innocuous operations whose malicious nature emerges only over an execution trace. Defending against them requires security policies that are stateful, are enforced within the kernel, and have a precise sema...

Letterio Galletta · 0 citations

Jul 2026

Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)

This work formally model AWS IoT Core's components and defines an information flow graph to capture the communication among devices permitted by the access control policies, and builds a finite representation of the graph by leveraging an SMT solver, thus enabling the verification of information flow between devices.

Lorenzo Ceragioli, Letterio Galletta, E. Lunati · arXiv.org · 0 citations