TY  - RPRT
TI  - Bridging the Gap: Automated Analysis of Sancus
AU  - Matteo Busi
AU  - Riccardo Focardi
AU  - Flaminia Luccio
PY  - 2024
UR  - https://arxiv.org/abs/2404.09518
ID  - 2404.09518
ER  -