Our group has been active since 2009 in foundational and applied research on computer security, with a special focus on programming languages and distributed systems security.
The recent rise of blockchain technologies (Bitcoin, Ethereum, ...) has opened up new challenges, to which the group has responded - among the first in Italy - by creating a dedicated research lab.
Since 2015 we are a local node of the Cyber Security National Laboratory.