The Security and Privacy langUage-based Methods At work (SPUMA) is a research group at the Department of Computer Science of the University of Pisa, Italy.

We work on applying formal methods – static and dynamic analyses, software verification, semantics and programming languages – to make systems and software secure.

If you want to know something more, take a look at who we are and our ongoing projects.