Matteo BUSI

Position: Researcher

E-mail: matteo.busi@unive.it

Scientific sector (SSD): INFORMATICA [INF/01]

Website: www.unive.it/people/matteo.busi (personal record)

Office: Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Assegnisti B3 (Zeta B building)

Publications

Anno	Tipologia	Pubblicazione
Anno	Tipologia	Pubblicazione

In corso di stampa	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, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 - 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

Cookie Cookie Policy Information on cookies

This website uses cookies

This website uses cookies. Essential cookies (first party) are necessary for this website to work properly and they allow the University to compile anonymous statistics on its use. If you click on the X, you will only enable essential cookies. With your consent, cookies will activate social media functionalities and produce usage statistics, and your data will be shared with our partners that may associate it with other data for analysis, advertising, ect. On “Cookie list” you can see which cookies may be installed. You can find out more on the “Cookie policy”.

Essential

Google - Youtube

Cookies Policy

Cookie Policy - Privacy notice provided in accordance with EU Regulation 2016/679

Ca' Foscari University of Venice, as part of its institutional aims and in fulfillment of the obligations set forth in article 13 of the EU Regulation 2016/679 ("Regulation"), gives you information regarding the processing of personal data collected by cookies and/or similar technologies when you visit the www.unive.it website (“Website”). Cookies are small pieces of information that a website sends to the user’s device where it is automatically stored and then sent back to the same website or to a third party every time that the website is visited using the same device.

In this notice, the term “cookie” will mean cookies as defined above as well as any other similar tracking technology used in the Website.

1. Data Controller

The data controller is Ca' Foscari University of Venice, with headquarters in Dorsoduro n. 3246, 30123 Venice (VE), legally represented by the Rector pro tempore.

2. Data Protection Officer

The University has appointed a "Data Protection Officer" ("DPO"), who can be contacted by writing to the email address: dpo@unive.it or to the following address: Ca' Foscari University, Venice, Data Protection Officer, Dorsoduro n. 3246, 30123 Venice (VE).

3. Types of cookies, data collect, purposes and legal basis

The cookies used on the website are (please refer to the cookie list for specific information on each cookie):

essential cookies: cookies that are necessary to support the login system and the access to the “Personal Area” of the Website as well as to remember users’ cookie preferences.
Personal data associated with these cookie is: user’s IP address, date and time of the visit, means of data transfer, requested resource, response, response size in byte, link connected to the user requesting the resource, user’s operating system, browser and device used. The legal basis for this processing activity is represented by art. 6.1.b) (“performance of a service asked by the data subject”) and art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''). Being the University is a public body and it is required to have a website where the users can find useful information on its activities (artt. 53 e 54 D.lgs. n. 82/2005). Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.

analytics cookies (firs party): cookies that collect aggregated and statistical data on the navigation of the Website aimed at measuring the number of visits for each page of the Websites as well as the performance and the usability of the Website. The analytics cookies used on the Website are set by the University. Personal data associated with these cookies is: User IP, browser language, average visit time, page actions (downloads, outlinks), first visit, last visit, device used, ecc. The legal basis for this processing activity is represented by art. 6.1.e) of the Regulation (“execution of a task of public interest or connected to the exercise of public powers''), as the University aims at collecting statistical data on the visits of its Website pages especially with regards to the pages of “Amministrazione Trasparente”. Is not possible to disable these cookies through the banner, as this action will have a negative effect on your navigation of the Website.
third party cookies (social media): these cookies are set by third parties that collect the data in order to analyze the navigation and the preferences of the users. On the website, there are cookies set by Google namely Google-Youtube that allow users to watch Youtube videos on the Website and the University to measure the performance of its communication campaigns. These cookies are managed by Google and the University only processes anonymous and statistical information collected by them, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). The legal basis for this processing activity is represented by art. 6.1.a) of the Regulation (“consent of the data subject''). The first time you land on the Website, a banner pops up asking whether you consent to enable these cookies. If you do not consent or withdraw consent at a later time through the “click here to change your cookie preferences” button, this will have no effect on your navigation.

You can always manage your cookie preferences through the browser setting. If you disable all cookies, please note that some activities on the website will not be possible anymore (i.e. the ones on the pages accessible in the Personal Area). To find out more on how to manage cookies through browser settings, please visit:

Internet Explorer: http://windows.microsoft.com/it-it/internet-explorer/delete-manage-cookies#ie=ie-11
Microsoft Edge: https://support.microsoft.com/help/4027947
Google Chrome: https://support.google.com/chrome/answer/95647?co=GENIE.Platform%3DDesktop&hl=en-GB
Apple Safari: https://support.apple.com/en-gb/guide/safari/sfri11471/mac
Mozilla Firefox: https://support.mozilla.org/en-US/kb/cookies-information-websites-store-on-your-computer
Opera: http://help.opera.com/Windows/10.00/it/cookies.html

If you want to know more about profiling cookies on your browser, please visit http://www.youronlinechoices.com..

4. Means of data processing

The processing of personal data will be carried out by authorized employees (in compliance with Article 29 of the Regulation and art. 2-quaterdecies of D. lgs. 196/2003), with the use of computerized procedures, adopting appropriate technical and organizational measures to protect them from unauthorized or illegal access, destruction, loss of integrity and confidentiality, even if accidental in nature.

5. Data retention

For information on the retention period of each cookie, please refer to the list below.

6. Recipients and categories of recipients of personal data and data transfer outside the European Economic Area

For the purposes set out above, in addition to specifically authorized employees and collaborators of the University, personal data may also be processed by those who execute outsourced activities on behalf of the University in their capacity as data processors (the updated list is available at: https://www.unive.it/pag/36643/).

Personal data collected by third party cookies may be transferred outside the European Economic Area (EEA) in compliance with the provisions of the Regulation.

7. Data subjects rights and how to exercise them

As a data subject, you have the right to obtain from the University, in the cases provided for by the Regulation, the access, the rectification and the erasure of your personal data as well as ask for the limitation of the processing of your personal data or to object to the data processing itself (articles 15 and following of the Regulation). The request can be submitted, without any particular formal procedures, by contacting the Data Protection Officer directly at dpo@unive.it or by sending a communication to the following address: Ca' Foscari University of Venice - Data Protection Officer, Dorsoduro 3246, 30123 Venice. Alternatively, you can contact the Data Controller, by writing a PEC (certified email) to protocollo@pec.unive.it.

Data subjects, who believe that the processing of their personal data is in violation of the provisions of the Regulation, have the right to file a complaint with the Data Protection Authority, as provided for by art. 77 of the Regulation, or to take legal action (art. 79 of the Regulation).

Appendix on social media:

In addition to the privacy notice published at: www.unive.it/pag/29567, the University provides you with information on the processing of your personal data collected through its social media pages (Facebook, Instagram). In particular, the University only processes anonymous and statistical information collected by the social media providers, who act as joint controllers on the basis of the CJEU ruling n. C-210/16 (5 June 2018). Moreover, the University informs you that when you leave a comment or a post on its social media pages, it will process your data only to administer your request/comment.

Last updated: 27/07/2022

List of cookies

Last update of the list of cookies: 22/12/2022
Type	Name	Sender (Domain)	Description	Duration	Policy
Essential	_shibsession[], _shibsstate[]	Unive.it (www.unive.it)	They maintain the session data of the SingleSignOn.	session	Information
Essential	PHPSESSID	Unive.it (www.unive.it)	Unique user identifier for the website applications.	session	Information
Essential	cookie[*]	Unive.it (www.unive.it)	It stores the user's preferences on cookies. user preferences on cookies.	1 month	Information
Essential	cookie	idp.unive.it	It stores the user's preferences on cookies.	1 month	Information
Essential	fe_typo_user	Unive.it (www.unive.it)	Unique user identifier for the reserved area of the website	session	Information
Essential	JSESSIONID	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	ADMCMD_prev	Unive.it (www.unive.it)	Used to create web sessions into the Personal Area.	session	Information
Essential	unive.it	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	noiframe	Unive.it (www.unive.it)	It stores the user's preferences on cookies.	6 months	Information
Essential	_pk_id[*]	unive/WAI	*	30 days	Information
Essential	_pk_ses[*]	unive/WAI	*	1 day	Information
Essential	_pk_ref[*]	unive/WAI	*	6 months	Information
Essential	_gsas[*]	unive/google	It stores the user's preferences on cookies.	3 months	Information
Essential	_opensaml_req_cookie%[*]	unive	Authentication and SingleSignOn (shibboleth)	session	Information
Google - Youtube	__Secure-1PAPISID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information
Google - Youtube	CONSENT	Google (google.com)	Used by Google to store the user's preferences.	17 years	Information
Google - Youtube	__Secure-1PSID	Google (google.com)	Used for targeting purposes in order to acquire web visitors' interests and show them pertinent and customised Google advertising.	2 years	Information