Luca OLIVIERI

Position: Researcher

E-mail: luca.olivieri@unive.it

Scientific sector (SSD): Informatica [INFO-01/A]

Website: www.unive.it/people/luca.olivieri (personal record)

Office: Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino

Research Institute: Research Institute for Complexity

Publications

Year	Type	Publication
Year	Type	Publication

2024	Journal Article	Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - ARCA card: 10278/5060921
2024	Journal Article	Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - ARCA card: 10278/5083652
2024	Journal Article	Olivieri, Luca; Spoto, Fausto Software verification challenges in the blockchain ecosystem in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 431-444 (ISSN 1433-2779) DOI - ARCA card: 10278/5070301
2024	Article in Conference Proceedings	Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073) - ARCA card: 10278/5083061
2024	Article in Conference Proceedings	Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743) DOI - ARCA card: 10278/5072663
2024	Article in Conference Proceedings	Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - ARCA card: 10278/5072662
2023	Article in Conference Proceedings	Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) DOI - ARCA card: 10278/5020965
2023	Article in Conference Proceedings	Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3) DOI - ARCA card: 10278/5026160
2023	Article in Conference Proceedings	Olivieri L.; Pasetto L. Towards Compliance of Smart Contracts with the European Union Data Act , CEUR Workshop Proceedings, CEUR-WS, vol. 3629, pp. 7-11, Convegno: 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2023, 2023 (ISSN 1613-0073) - ARCA card: 10278/5048971
2022	Journal Article	Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio Fungible and non-fungible tokens with snapshots in Java in CLUSTER COMPUTING, vol. 26, pp. 2701-2718 (ISSN 1386-7857) DOI - ARCA card: 10278/5047701
2022	Article in Conference Proceedings	Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747) DOI - ARCA card: 10278/5004420
2021	Journal Article	Ferrara P.; Olivieri L.; Spoto F. Static Privacy Analysis by Flow Reconstruction of Tainted Data in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, vol. 31, pp. 973-1016 (ISSN 0218-1940) DOI - ARCA card: 10278/5004098
2021	Article in Conference Proceedings	Bozzetti M.R.A.; Olivieri L.; Spoto F. Cybersecurity impacts of the Covid-19 pandemic in Italy , CEUR Workshop Proceedings, CEUR-WS, vol. 2940, pp. 145-155, Convegno: 5th Italian Conference on Cybersecurity, ITASEC 2021, 2021 (ISSN 1613-0073) - ARCA card: 10278/5047703
2021	Article in Conference Proceedings	Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio On-Chain Smart Contract Verification over Tendermint , FC:2021 Financial Cryptography and Data Security. FC 2021 International Workshops, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, vol. 12676, pp. 333-347, Convegno: 5th Workshop on Trusted Smart Contracts (WTSC) (ISBN 978-3-662-63957-3; 978-3-662-63958-0) (ISSN 0302-9743) DOI - ARCA card: 10278/5047702
2021	Article in Conference Proceedings	Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine , Third International Conference on Blockchain Computing and Applications (BCCA), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 187-194, Convegno: International Conference on Blockchain Computing and Applications (BCCA) (ISBN 978-1-6654-2182-9) DOI - ARCA card: 10278/5047700
2020	Article in Conference Proceedings	Pietro Ferrara, Luca Olivieri, Fausto Spoto BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, Convegno: 21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) (ISSN 0302-9743) DOI - ARCA card: 10278/3720935
2018	Article in Conference Proceedings	Ferrara, Pietro; Luca Olivieri; Fausto Spoto Tailoring Taint Analysis to GDPR , Proceedings of Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Springer, vol. Lecture Notes in Computer Science, pp. 63-76, Convegno: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, June (ISBN 978-3-030-02546-5) DOI - URL correlato - ARCA card: 10278/3730034

List of selected publications

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