Towards Compliance of Smart Contracts with the European Union Data Act

Olivieri, Luca; PASETTO, Luca

Download

Paper published in a journal (Scientific congresses, symposiums and conference proceedings)

Towards Compliance of Smart Contracts with the European Union Data Act

Olivieri, Luca; PASETTO, Luca

2023 • In CEUR Workshop Proceedings, 3629, p. 7 - 11

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/10993/60658

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

paper10.pdf

Author postprint (830.08 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

blockchain; data privacy; data sharing; EU Data Act; interoperability; smart contracts; Block-chain; Data Sharing; EU data act; European Commission; European union; Key technologies; Process data; Computer Science (all)

Abstract :

[en] The recent proposal of the European Union Data Act adopted by the European Commission has the goal to create fair rules for sharing and using data. An important role in this context is the one played by smart contracts, that are considered as a key technology to enable effective and consensual data sharing. For this purpose, the proposal sets up some requirements for smart contracts, specifically in the context of interoperability with applications that process data. There is a need for scientific work that explains which steps to take so that smart contracts comply with the proposal. This paper aims to begin addressing this gap by considering each one of the requirements and by providing a series of techniques from different areas of computer science to comply with them.

Disciplines :

Computer science

Author, co-author :

Olivieri, Luca ; Department of Environmental Sciences, Informatics and Statistics, Ca’ Foscari University of Venice, Venice, Italy

PASETTO, Luca ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

External co-authors :

yes

Language :

English

Title :

Towards Compliance of Smart Contracts with the European Union Data Act

Publication date :

2023

Event name :

5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

Event place :

Rome, Ita

Event date :

07-11-2023

Journal title :

CEUR Workshop Proceedings

eISSN :

1613-0073

Publisher :

CEUR-WS

Volume :

3629

Pages :

7 - 11

Peer reviewed :

Peer Reviewed verified by ORBi

Available on ORBilu :

since 28 March 2024

Statistics

Number of views

223 (3 by Unilu)

Number of downloads

138 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

European Commission, Proposal for a REGULATION OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL on harmonised rules on fair access to and use of data (Data Act), COM/2022/68 final, 2022. https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=COM:2022:68:FIN.
F. Casolari, M. Taddeo, A. Turillazzi, L. Floridi, How to improve smart contracts in the European Union Data Act, Digital Society 2 (2023) 9. doi:10.1007/s44206-023-00038-2.
A. M. Antonopoulos, G. Wood, Mastering Ethereum: Building Smart Contracts and Dapps, O’Reilly, 2018.
P. Tolmach, Y. Li, S.-W. Lin, Y. Liu, Z. Li, A survey of smart contract formal specification and verification, ACM Comput. Surv. 54 (2021).
C. Patrick, Principles of Abstract Interpretation, MIT Press Academic, Cambridge, MA, USA, 2021.
E. M. Clarke, Jr., O. Grumberg, D. A. Peled, Model Checking, MIT Press, Cambridge, MA, USA, 1999.
J. H. Gallier, Logic for computer science: foundations of automatic theorem proving, Courier Dover Publications, Mineola, NY, USA, 2015.
H. G. Rice, Classes of Recursively Enumerable Sets and Their Decision Problems, Transactions of the American Mathemathical Society 74 (1953) 358–366. doi:10.1090/ s0002-9947-1953-0053041-6.
T. Genet., T. Jensen., J. Sauvage., Termination of ethereum’s smart contracts, in: Proceedings of the 17th International Joint Conference on e-Business and Telecommunications - SECRYPT, INSTICC, SciTePress, 2020, pp. 39–51. doi:10.5220/0009564100390051.
E. Albert, J. Correas, P. Gordillo, G. Román-Díez, A. Rubio, Gasol: Gas analysis and optimization for ethereum smart contracts, in: A. Biere, D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer International Publishing, Cham, 2020, pp. 118–125.
J. Chen, X. Xia, D. Lo, J. Grundy, Why do smart contracts self-destruct? investigating the selfdestruct function on ethereum, ACM Trans. Softw. Eng. Methodol. 31 (2021). doi:10.1145/3488245.
OpenZeppelin, Pausable, 2023. https://docs.openzeppelin.com/contracts/2.x/api/lifecycle# pausable (Accessed 09/2023).
Hyperledger, Hyperledger Fabric Documentation, 2023. https://hyperledger-fabric.readthedocs.io/en/release-2.5/whatis.html (Accessed 09/2023).
L. Olivieri, F. Tagliaferro, V. Arceri, M. Ruaro, L. Negrini, A. Cortesi, P. Ferrara, F. Spoto, E. Talin, Ensuring determinism in blockchain software with golisa: an industrial experience report, in: L. Gonnord, L. Titolo (Eds.), SOAP’22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, ACM, 2022, pp. 23–29. URL: https://doi.org/10.1145/3520313.3534658. doi:10.1145/ 3520313.3534658.
O. Dib, K.-L. Brousmiche, A. Durand, E. Thea, E. B. Hamida, Consortium blockchains: Overview, applications and challenges, Int. J. Adv. Telecommun 11 (2018) 51–64.
Hyperledger, Channels, 2023. https://hyperledger-fabric.readthedocs.io/en/release-2.5/channels.html (Accessed 09/2023).
OpenZeppelin, Proxy Upgrade Pattern, 2023. https://docs.openzeppelin.com/upgrades-plugins/1.x/proxies (Accessed 09/2023).
A. Preukschat, D. Reed, Self-sovereign identity, Manning Publications, 2021.
M. Ul Hassan, M. H. Rehmani, J. Chen, Anomaly detection in blockchain networks: A comprehensive survey, IEEE Communications Surveys & Tutorials 25 (2023) 289–318. doi:10.1109/COMST.2022.3205643.
L. Negrini, P. Ferrara, V. Arceri, A. Cortesi, LiSA: A Generic Framework for Multilanguage Static Analysis, Springer Nature Singapore, 2023, pp. 19–42. doi:10.1007/ 978-981-19-9601-6_2.
S. Porru, A. Pinna, M. Marchesi, R. Tonelli, Blockchain-oriented software engineering: Challenges and new directions, in: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017, pp. 169–171. doi:10.1109/ICSE-C. 2017.142.
L. Yu, M. Zichichi, R. Markovich, A. Najjar, Enhancing trust in trust services: Towards an intelligent human-input-based blockchain oracle (ihibo), in: Proceedings of the 55th Annual Hawaii International Conference on System Sciences, CE - Commission Européenne [BE], January 2022. doi:10.5220/0010945300003116.
P. Ferrara, L. Olivieri, F. Spoto, Static Privacy Analysis by Flow Reconstruction of Tainted data, Int. J. Softw. Eng. Knowl. Eng. 31 (2021) 973–1016. doi:10.1142/ S0218194021500303.
P. Ferrara, F. Spoto, Static analysis for GDPR compliance, in: CEUR Workshop Proceedings - Proceedings of ITASEC’18, volume 2058, 2018, pp. 1–10.
P. Ferrara, L. Olivieri, F. Spoto, Tailoring Taint Analysis to GDPR, in: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers, volume 11079 of Lecture Notes in Computer Science, Springer, 2018, pp. 63–76. doi:10.1007/978-3-030-02547-2\_4.