BUSI, Matteo

BUSI, Matteo  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 1-gen-2023 Busi, Matteo + 4.1 Articolo in Atti di convegno -
A brief tour of formally secure compilation 1-gen-2019 Busi M. + 4.1 Articolo in Atti di convegno -
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 1-gen-2023 Francesco PalmariniLeonardo VeroneseMatteo BusiRiccardo FocardiFlaminia Luccio 4.1 Articolo in Atti di convegno -
A semantics for disciplined concurrency in COP 1-gen-2016 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Automated Learning and Verification of Embedded Security Architectures 1-gen-2023 Matteo BusiRiccardo FocardiFlaminia Luccio 4.2 Abstract in Atti di convegno -
Bridging the Gap: Automated Analysis of Sancus In corso di stampa M. BusiR. FocardiF. Luccio 4.1 Articolo in Atti di convegno -
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 1-gen-2023 Busi MatteoFocardi RiccardoLuccio Flaminia 4.2 Abstract in Atti di convegno -
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 1-gen-2021 Busi M. + 4.1 Articolo in Atti di convegno -
Mechanical incrementalization of typing algorithms 1-gen-2021 Busi M.Degano P. + 2.1 Articolo su rivista -
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Robust Declassification by Incremental Typing 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Securing Interruptible Enclaved Execution on Small Microprocessors 1-gen-2021 Busi M.Degano P. + 2.1 Articolo su rivista -
Towards effective preservation of robust safety properties 1-gen-2022 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Using standard typing algorithms incrementally 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
When Obfuscations Preserve Cryptographic Constant-Time 1-gen-2024 Matteo BusiPierpaolo Degano + 4.2 Abstract in Atti di convegno -