![](http://spuma.di.unipi.it/wp-content/uploads/2019/11/polo-fibonacci-1024x277-1.jpg)
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.