Matteo BUSI

Qualifica: Ricercatore

E-mail: matteo.busi@unive.it

SSD: Informatica [INFO-01/A]

Sito web: www.unive.it/persone/matteo.busi (scheda personale)

Struttura: Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Assegnisti B3 (edificio Zeta B)

Pubblicazioni

Anno	Tipologia	Pubblicazione
Anno	Tipologia	Pubblicazione

2024	Articolo in Atti di convegno	M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, pp. 233-248, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 (ISBN 979-8-3503-6203-9) - URL correlato - Scheda ARCA: 10278/5044629
2024	Abstract in Atti di convegno	Matteo Busi; Pierpaolo Degano; Letterio Galletta When Obfuscations Preserve Cryptographic Constant-Time , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation, 20/01/2024 - Scheda ARCA: 10278/5046843
2023	Articolo in Atti di convegno	Lanckriet, Emiel; Busi, Matteo; Devriese, Dominique $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation , 2023 IEEE 36th Computer Security Foundations Symposium (CSF), IEEE, pp. 537-551, Convegno: IEEE Computer Security Foundations Symposium (CSF), 09-13/07/2023 (ISBN 979-8-3503-2192-0) DOI - Scheda ARCA: 10278/5034714
2023	Articolo in Atti di convegno	Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia Luccio A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study , 2023 IEEE International Conference on Cyber Security and Resilience, IEEE, pp. 99-104, Convegno: 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 23), July 31 - August 2, 2023 DOI - Scheda ARCA: 10278/5021702
2023	Abstract in Atti di convegno	Matteo Busi, Riccardo Focardi, Flaminia Luccio Automated Learning and Verification of Embedded Security Architectures , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation (PRISC'23), colocated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)., Sun 15 - Sat 21 January 2023 - Scheda ARCA: 10278/5021701
2023	Abstract in Atti di convegno	Busi Matteo; Focardi Riccardo; Luccio Flaminia Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces in Marco Patrignani, Ethan Cecchetti, Workshop on Foundations of Computer Security (FCS23), None, Convegno: Workshop on Foundations of Computer Security (FCS23), 9th July 2023 - Scheda ARCA: 10278/5024840
2022	Articolo in Atti di convegno	Busi M.; Degano P.; Galletta L. Towards effective preservation of robust safety properties , Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, pp. 1674-1683, Convegno: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022, 2022 (ISBN 9781450387132) DOI - Scheda ARCA: 10278/5034729
2021	Articolo su rivista	Busi M.; Degano P.; Galletta L. Mechanical incrementalization of typing algorithms in SCIENCE OF COMPUTER PROGRAMMING, vol. 208, pp. 102657 (ISSN 0167-6423) DOI - Scheda ARCA: 10278/5034720
2021	Articolo su rivista	Busi M.; Noorman J.; Van Bulck J.; Galletta L.; Degano P.; Muhlberg J.T.; Piessens F. Securing Interruptible Enclaved Execution on Small Microprocessors in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 43, pp. 1-77 (ISSN 0164-0925) DOI - Scheda ARCA: 10278/5034731
2021	Articolo in Atti di convegno	Abate C.; Busi M.; Tsampas S. Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, vol. 13008, pp. 83-101, Convegno: 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, 2021 (ISBN 978-3-030-89050-6; 978-3-030-89051-3) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5034730
2020	Articolo in Atti di convegno	Busi M.; Degano P.; Galletta L. Control-flow flattening preserves the constant-time policy , CEUR Workshop Proceedings, CEUR-WS, vol. 2597, pp. 82-92, Convegno: 4th Italian Conference on Cyber Security, ITASEC 2020, 2020 (ISSN 1613-0073) - Scheda ARCA: 10278/5034723
2020	Articolo in Atti di convegno	Busi M.; Noorman J.; Bulck J.V.; Galletta L.; Degano P.; Muhlberg J.T.; Piessens F. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors , Proceedings - IEEE Computer Security Foundations Symposium, IEEE Computer Society, vol. 2020-, pp. 262-276, Convegno: 33rd IEEE Computer Security Foundations Symposium, CSF 2020, 2020 (ISBN 978-1-7281-6572-1) (ISSN 1940-1434) DOI - Scheda ARCA: 10278/5034728
2019	Articolo in Atti di convegno	Busi M.; Galletta L. A brief tour of formally secure compilation , CEUR Workshop Proceedings, CEUR-WS, vol. 2315, Convegno: 3rd Italian Conference on Cyber Security, ITASEC 2019 (ISSN 1613-0073) - Scheda ARCA: 10278/5034717
2019	Articolo in Atti di convegno	Busi M.; Degano P.; Galletta L. Robust Declassification by Incremental Typing , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, vol. 11565, pp. 54-69, Convegno: Catherine Meadows Festschrift Symposium, 2019, 2019 (ISBN 978-3-030-19051-4; 978-3-030-19052-1) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5034734
2019	Articolo in Atti di convegno	Busi M.; Degano P.; Galletta L. Using standard typing algorithms incrementally , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Verlag, vol. 11460, pp. 106-122, Convegno: 11th International Symposium on NASA Formal Methods, NFM 2019, 2019 (ISBN 978-3-030-20651-2; 978-3-030-20652-9) (ISSN 0302-9743) DOI - Scheda ARCA: 10278/5034733
2016	Articolo in Atti di convegno	Busi M.; Degano P.; Galletta L. A semantics for disciplined concurrency in COP , CEUR Workshop Proceedings, CEUR-WS, vol. 1720, pp. 177-189, Convegno: 17th Italian Conference on Theoretical Computer Science, ICTCS 2016, 2016 (ISSN 1613-0073) - Scheda ARCA: 10278/5034732

Pubblicazioni scelte

Cookie Informazioni sui cookie Lista cookies

Questo sito web utilizza i cookie

Questo sito utilizza cookie. I cookie necessari (di prima parte) permettono il corretto funzionamento del sito e di effettuare analisi statistiche anonime. Cliccando sulla X in alto a destra verranno installati solo i cookie necessari. Se acconsenti, verranno installati anche altri cookie che abilitano le funzionalità dei social media e forniscono statistiche sul loro utilizzo. In questo caso, i dati raccolti saranno condivisi anche con i nostri partner, che potrebbero associarli ad altre informazioni per finalità di analisi, di pubblicità, ecc. Cliccando “Lista cookie” potrai vedere quali cookie verranno installati. Per ottenere maggiori informazioni consulta “Informazioni sui cookies”.

Necessari

Google - Youtube

Cookies Policy

Cookie Policy - Informativa sul trattamento dei dati personali ai sensi dell’art 13 del Regolamento (UE) 2016/679

L’Università Ca’ Foscari Venezia, nell’ambito delle proprie finalità istituzionali e in adempimento agli obblighi previsti dall’art. 13 del Regolamento UE 2016/679 (“Regolamento”), Le fornisce informazioni in merito al trattamento dei dati personali raccolti, durante la navigazione del sito web (“www.unive.it - Sito”), dai cookie e/o dagli altri strumenti di tracciamento presenti sullo stesso. Per “cookie” si intende la stringa di testo, di piccole dimensioni, che un sito invia al dispositivo dell'utente (dove viene memorizzata automaticamente) e poi rinviata al sito o a terze parti ogni qualvolta si acceda nuovamente al sito stesso attraverso il medesimo dispositivo.

In questa informativa, per semplificare, utilizzeremo il termine “cookie” per fare riferimento sia ai cookie, come definiti sopra, sia agli eventuali altri strumenti di tracciamento presenti sul Sito.

1. Titolare del trattamento

Il Titolare del trattamento è l’Università Ca’ Foscari Venezia, con sede in Dorsoduro n. 3246, 30123 Venezia (VE), nella persona della Magnifica Rettrice pro tempore.

2. Responsabile della Protezione dei Dati

L’Università ha nominato il “Responsabile della Protezione dei Dati” (“DPO”), che può essere contattato scrivendo all’indirizzo di posta elettronica dpo@unive.it o al seguente indirizzo: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia (VE).

3. Categorie di cookie utilizzati, dati raccolti, finalità e basi giuridiche

Nel Sito sono presenti le seguenti tipologie di cookie (per informazioni dettagliate su ogni singolo cookie si faccia riferimento alla lista cookie presente in calce all’informativa):

cookie tecnici o di sessione: cookie necessari per gestire il login e l’accesso all’area riservata del Sito nonché per registrare le preferenze relative all’installazione dei cookie stessi.
I dati raccolti associati a questi cookie sono: indirizzo IP dell’utente, data e ora della visita, modalità di invio dei dati, risorsa richiesta, responso alla richiesta, dimensione in byte della risposta, link di provenienza dell’utente alla risorsa richiesta, sistema operativo utilizzato, tipo di browser, tipo di dispositivo da cui si naviga (PC, smartphone, ecc.). La base giuridica per il trattamento dei predetti dati personali è rappresentata dagli artt. 6.1.b) del Regolamento (“servizio prestato su richiesta dell’interessato”) e art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”). in quanto l’Ateneo, essendo una Pubblica Amministrazione, deve per legge dotarsi di un sito istituzionale dal quale gli utenti possono trarre informazioni relative ai servizi resi (artt. 53 e 54 Codice Amministrazione Digitale – D.lgs. n. 82/2005). Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie analitici (di prima parte): cookie utili alla misurazione delle visite alle varie pagine del Sito nonché al miglioramento delle prestazioni e dell’usabilità del Sito stesso attraverso l’elaborazione di dati aggregati per la creazione di statistiche. I cookie analitici in uso sono rilasciati dall'Ateneo. I dati raccolti sono: Ip utente, pagina visitata, lingua del browser, tempo medio della visita, azioni sulla pagina (download, outlinks), prima visita, ultima visita, dispositivo utilizzato. La base giuridica per il trattamento dei predetti dati personali è rappresentata dall’art. 6.1.e) del Regolamento (“esecuzione di un compito di interesse pubblico”) al fine di reperire statistiche utili sulle visite alle pagine del Sito, come ad esempio, nel caso delle sottosezioni della sezione Amministrazione Trasparente. Non è possibile disattivare tali cookies attraverso il banner di Ateneo, in quanto la loro disattivazione pregiudica la navigazione del Sito.
cookie di terze parti (social network): sono cookie rilasciati da terze parti, i dati, quindi, vengono raccolti da quest’ultimi e non dal gestore del sito su cui si sta navigando, e sono finalizzati alla raccolta di dati sulla navigazione e sulle preferenze dell’utente. Nel Sito sono presenti i cookie di Google - Youtube (per permettere agli utenti di visualizzare i video caricati su Youtube presenti nel Sito nonché all’Università di valutare l'efficacia delle attività di comunicazione istituzionale), il cui funzionamento è gestito da Google. L’Università ha visibilità solo, in forma anonima e aggregata, di dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolare del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea. La base giuridica per tale trattamento è rappresentata dall’art. 6.1.a) del Regolamento (“consenso dell’interessato”). Infatti, durante la prima visita al sito, viene richiesto agli utenti attraverso apposito banner il consenso all’installazione di tali cookie. Il mancato consenso o la revoca successiva dello stesso, attraverso l’impostazione “disabilita cookie” non pregiudica la navigazione sul Sito stesso.

Si ricorda, inoltre, che è sempre possibile procedere alla disabilitazione dei cookie attraverso le impostazioni del proprio browser come descritte nei link riportati di seguito ma che disabilitando completamente i cookies nel browser, si potrebbero perdere alcune funzionalità del Sito (per esempio, l’utilizzo dei servizi accessibili solo a seguito del login):

Infine, è possibile prendere visione dei cookies di profilazione/comportamentale presenti sul proprio browser, visitando l’indirizzo http://www.youronlinechoices.com/it/le-tue-scelte/.

4. Modalità di trattamento

Il trattamento dei dati personali verrà effettuato da dipendenti e collaboratori dell’Ateneo che agiscono sulla base di specifiche istruzioni fornite in ordine alle finalità e modalità del trattamento medesimo (nel rispetto di quanto previsto dall’art. 29 del Regolamento e dall’art. 2-quaterdecies del D.lgs. n. 196/2003), con l’utilizzo di procedure informatizzate, adottando misure tecniche e organizzative adeguate a proteggerli da accessi non autorizzati o illeciti, dalla distruzione, dalla perdita di integrità e riservatezza, anche accidentali.

5. Tempo di conservazione

Si prega di prendere visione della lista cookie presente in calce all’informativa per conoscere la specifica durata di ogni singolo cookie.

6. Destinatari e categorie di destinatari dei dati personali

Per le finalità sopra riportate, oltre ai dipendenti e ai collaboratori dell’Ateneo specificamente autorizzati, potranno trattare i dati personali anche soggetti che svolgono attività in outsourcing per conto dell’Ateneo nella loro qualità di Responsabili del trattamento (quale/i, ad esempio, agenzie di comunicazione, ecc.). La lista aggiornata dei Responsabili del trattamento dell’Università è disponibile alla pagina: https://www.unive.it/pag/34666/

I dati raccolti utilizzando i cookies di terze parti potranno essere oggetto di trasferimento al di fuori dello Spazio Economico Europeo (SEE), nel rispetto di quanto prescritto dal Regolamento.

7. Diritti dell’interessato e modalità di esercizio

In qualità di interessato, ha diritto di ottenere dall’Ateneo, nei casi previsti dal Regolamento, l’accesso ai dati personali, la rettifica, l’integrazione, la cancellazione degli stessi o la limitazione del trattamento ovvero di opporsi al trattamento medesimo (artt. 15 e ss. del Regolamento). La richiesta potrà essere presentata, senza alcuna formalità, contattando direttamente il Responsabile della Protezione dei Dati all’indirizzo dpo@unive.it ovvero inviando una comunicazione al seguente recapito: Università Ca’ Foscari Venezia, Responsabile della Protezione dei Dati, Dorsoduro n. 3246, 30123 Venezia. In alternativa, è possibile contattare il Titolare del trattamento, inviando una PEC a protocollo@pec.unive.it.

Gli interessati che ritengono che il trattamento dei dati personali a loro riferiti avvenga in violazione di quanto previsto dal Regolamento hanno, inoltre, il diritto di proporre reclamo all’Autorità Garante per la protezione dei dati personali, come previsto dall’art. 77 del Regolamento stesso, o di adire le opportune sedi giudiziarie (art. 79 del Regolamento).

Appendice Social Media:

A integrazione dell’informativa resa ai sensi dell’art. 13 del Regolamento Ue 2016/679 (pubblicata al seguente link www.unive.it/pag/17993), l’Università informa gli utenti che accedono alle pagine istituzionali dell’Ateneo nei social media (es. Facebook, Instagram) che l’Università tratta, in forma anonima e aggregata, i dati statistici messi a disposizione dai fornitori delle predette piattaforme, in qualità di Contitolari del trattamento con questi ultimi, in conformità a quanto previsto dalla sentenza C-210/16 del 5 giugno 2018 della Corte di Giustizia dell’Unione Europea.

Inoltre, l’Università tratta i dati personali conferiti dall'utenza attraverso le pagine delle proprie piattaforme di social media, nell’ambito delle sue finalità istituzionali, esclusivamente per gestire le interazioni con l'utenza (commenti, post pubblici, etc.).

Data ultimo aggiornamento dell'informativa: 19/07/2022

Lista cookies rilasciati

Data ultimo aggiornamento della lista cookie: 22/12/2022
Tipologia	Nome	Fornitore (Dominio)	Descrizione	Durata	Informativa
Necessario	_pk_id[*]	unive/WAI	*	30 giorni	Informativa
Necessario	_pk_ses[*]	unive/WAI	*	1 giorno	Informativa
Necessario	_pk_ref[*]	unive/WAI	*	6 mesi	Informativa
Necessario	_gsas	unive/google	Memorizza le preferenze dell'utente	3 mesi	Informativa
Necessario	_opensaml_req_cookie%	unive	Gestione autenticazione e SingleSignOn (shibboleth)	sessione	Informativa
Necessario	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	Mantiene i dati di sessione del SingleSignOn	Sessione	Informativa
Necessario	PHPSESSID	Unive.it (www.unive.it)	Identificatore univoco dell'utente per gli applicativi del sito	Sessione	Informativa
Necessario	cookie[*]	Unive.it (www.unive.it)	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	cookie	idp.unive.it	Memorizza le preferenze dell'utente sui cookie	1 mese	Informativa
Necessario	fe_typo_user	Unive.it (www.unive.it)	Identificatore univoco dell'utente per l'area riservata del sito	sessione	Informativa
Necessario	JSESSIONID	Unive.it (www.unive.it)	Utilizzato per creare le sessioni in area riservata	sessione	Informativa
Necessario	ADMCMD_prev	Unive.it (www.unive.it)	Utilizzato per la gestione degli accessi al cms typo3	sessione	Informativa
Necessario	unive.it	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Necessario	noiframe	Unive.it (www.unive.it)	servono a registrare le preferenze sui cookies	6 mesi	Informativa
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Utilizzato per finalità di targeting per costruire un profilo degli interessi dei visitatori del sito web al fine di mostrare pubblicità Google pertinente e personalizzata.	1 mese	Informativa
Google - Youtube	CONSENT	Google (google.com)	Utilizzato da google per memorizzare le preferenze dell'utente	17 anni	Informativa