Login / Signup
Matteo Busi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Cost Effectiveness
Security Issues
Partial Occlusion
Motion Imagery
Top Venues
CSF
CoRR
CSR
SAC
</>
Publications
</>
Matteo Busi
,
Riccardo Focardi
,
Flaminia L. Luccio
Bridging the Gap: Automated Analysis of Sancus.
CoRR
(2024)
Emiel Lanckriet
,
Matteo Busi
,
Dominique Devriese
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.
CSF
(2023)
Francesco Palmarini
,
Leonardo Veronese
,
Matteo Busi
,
Riccardo Focardi
,
Flaminia L. Luccio
A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study.
CSR
(2023)
Matteo Busi
,
Pierpaolo Degano
,
Letterio Galletta
Towards effective preservation of robust safety properties.
SAC
(2022)