collaborators

1 paper

cs.CR2024

Bridging the Gap: Automated Analysis of Sancus

Matteo Busi, Riccardo Focardi, Flaminia Luccio

Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally…