Implications of Blockchain-Based Smart Contracts on Contract Law

Smart contracts are the most advanced blockchain applications. They can also be used in the contractual domain for the encoding and automatic execution of contract terms. Smart contracts already existed before the blockchain, but they take advantage of the characteristics of that technology. Namely, the decentralised and immutable characters of the blockchain determine that no single contracting party can control, modify, or interrupt the execution of smart contracts. As every new phenomenon, blockchain-based smart contracts have attracted the attention of institutions. For example, in its Resolution of 3 October 2018 on distributed ledger technologies and blockchain, the European Parliament has stressed the need to undertake an in-depth assessment of the legal implications,starting from the analysis of existing legal frameworks. Indeed, the present research thesis aims to verify how blockchain-based smart contracts fit into contract law. To this end, the analysis starts from the most discussed and relevant aspects and develops further considerations. Before that, it provides a detailed description and clarifications about the characteristics, the functioning, and the development of the technology, which is an essential starting point for a high-level quality legal analysis. It takes into considerations already existing rules concerning the use of technology in the life cycle of contracts, from vending machines to computable contracts, and verifies its applicability to blockchain-based smart contracts. The work does not limit to consider the mere technology, but some concrete scenarios of adoption of blockchain-based smart contracts in the contractual domain. Starting from the latter, it focuses on the implications of blockchain-based smart contracts on contract formation, contract performance, and applicable law and jurisdiction.

Architectures for Context Aware Services in Smart Environments

This thesis deals with Context Aware Services, Smart Environments, Context Management and solutions for Devices and Service Interoperability. Multi-vendor devices offer an increasing number of services and end-user applications that base their value on the ability to exploit the information originating from the surrounding environment by means of an increasing number of embedded sensors, e.g. GPS, compass, RFID readers, cameras and so on. However, usually such devices are not able to exchange information because of the lack of a shared data storage and common information exchange methods. A large number of standards and domain specific building blocks are available and are heavily used in today's products. However, the use of these solutions based on ready-to-use modules is not without problems. The integration and cooperation of different kinds of modules can be daunting because of growing complexity and dependency. In this scenarios it might be interesting to have an infrastructure that makes the coexistence of multi-vendor devices easy, while enabling low cost development and smooth access to services. This sort of technologies glue should reduce both software and hardware integration costs by removing the trouble of interoperability. The result should also lead to faster and simplified design, development and, deployment of cross-domain applications. This thesis is mainly focused on SW architectures supporting context aware service providers especially on the following subjects: - user preferences service adaptation - context management - content management - information interoperability - multivendor device interoperability - communication and connectivity interoperability Experimental activities were carried out in several domains including Cultural Heritage, indoor and personal smart spaces – all of which are considered significant test-beds in Context Aware Computing. The work evolved within european and national projects: on the europen side, I carried out my research activity within EPOCH, the FP6 Network of Excellence on “Processing Open Cultural Heritage” and within SOFIA, a project of the ARTEMIS JU on embedded systems. I worked in cooperation with several international establishments, including the University of Kent, VTT (the Technical Reserarch Center of Finland) and Eurotech. On the national side I contributed to a one-to-one research contract between ARCES and Telecom Italia. The first part of the thesis is focused on problem statement and related work and addresses interoperability issues and related architecture components. The second part is focused on specific architectures and frameworks: - MobiComp: a context management framework that I used in cultural heritage applications - CAB: a context, preference and profile based application broker which I designed within EPOCH Network of Excellence - M3: "Semantic Web based" information sharing infrastructure for smart spaces designed by Nokia within the European project SOFIA - NoTa: a service and transport independent connectivity framework - OSGi: the well known Java based service support framework The final section is dedicated to the middleware, the tools and, the SW agents developed during my Doctorate time to support context-aware services in smart environments.

Quality of Service in Distributed Stream Processing for large scale Smart Pervasive Environments

The wide diffusion of cheap, small, and portable sensors integrated in an unprecedented large variety of devices and the availability of almost ubiquitous Internet connectivity make it possible to collect an unprecedented amount of real time information about the environment we live in. These data streams, if properly and timely analyzed, can be exploited to build new intelligent and pervasive services that have the potential of improving people's quality of life in a variety of cross concerning domains such as entertainment, health-care, or energy management. The large heterogeneity of application domains, however, calls for a middleware-level infrastructure that can effectively support their different quality requirements. In this thesis we study the challenges related to the provisioning of differentiated quality-of-service (QoS) during the processing of data streams produced in pervasive environments. We analyze the trade-offs between guaranteed quality, cost, and scalability in streams distribution and processing by surveying existing state-of-the-art solutions and identifying and exploring their weaknesses. We propose an original model for QoS-centric distributed stream processing in data centers and we present Quasit, its prototype implementation offering a scalable and extensible platform that can be used by researchers to implement and validate novel QoS-enforcement mechanisms. To support our study, we also explore an original class of weaker quality guarantees that can reduce costs when application semantics do not require strict quality enforcement. We validate the effectiveness of this idea in a practical use-case scenario that investigates partial fault-tolerance policies in stream processing by performing a large experimental study on the prototype of our novel LAAR dynamic replication technique. Our modeling, prototyping, and experimental work demonstrates that, by providing data distribution and processing middleware with application-level knowledge of the different quality requirements associated to different pervasive data flows, it is possible to improve system scalability while reducing costs.

Modelling and analysis of networked control strategies in smart power distribution grids: development of co-simulation tools

This thesis is focused on Smart Grid applications in medium voltage distribution networks. For the development of new applications it appears useful the availability of simulation tools able to model dynamic behavior of both the power system and the communication network. Such a co-simulation environment would allow the assessment of the feasibility of using a given network technology to support communication-based Smart Grid control schemes on an existing segment of the electrical grid and to determine the range of control schemes that different communications technologies can support. For this reason, is presented a co-simulation platform that has been built by linking the Electromagnetic Transients Program Simulator (EMTP v3.0) with a Telecommunication Network Simulator (OPNET-Riverbed v18.0). The simulator is used to design and analyze a coordinate use of Distributed Energy Resources (DERs) for the voltage/var control (VVC) in distribution network. This thesis is focused control structure based on the use of phase measurement units (PMUs). In order to limit the required reinforcements of the communication infrastructures currently adopted by Distribution Network Operators (DNOs), the study is focused on leader-less MAS schemes that do not assign special coordinating rules to specific agents. Leader-less MAS are expected to produce more uniform communication traffic than centralized approaches that include a moderator agent. Moreover, leader-less MAS are expected to be less affected by limitations and constraint of some communication links. The developed co-simulator has allowed the definition of specific countermeasures against the limitations of the communication network, with particular reference to the latency and loss and information, for both the case of wired and wireless communication networks. Moreover, the co-simulation platform has bee also coupled with a mobility simulator in order to study specific countermeasures against the negative effects on the medium voltage/current distribution network caused by the concurrent connection of electric vehicles.

La Polizza di Carico nell'era della Blockchain

Da anni si assiste ad una continua e incessante evoluzione del settore marittimo, nel tentativo costante di introdurre nuove tecnologie per migliorare i servizi offerti, con l’obiettivo di accelerare la velocità degli scambi commerciali e ridurre i costi delle operazioni. Nell’intento di offrire un’assistenza all’avanguardia ed in tempi ridotti, particolare importanza hanno avuto le evoluzioni in tema di Polizza di Carico. La Polizza di Carico o Bill of Lading (B/L) è il principale documento utilizzato nel trasporto marittimo a livello internazionale caratterizzandosi come ricevuta di carico, titolo rappresentativo di merce e prova del contratto di trasporto. Dagli anni Ottanta del secolo scorso, diversi sono stati i tentativi di sviluppare una polizza di carico elettronica che presenti le stesse funzionalità di quella cartacea al fine di ovviare agli inconvenienti del documento tradizionale garantendone, al tempo stesso, la medesima sicurezza ed efficacia. Di recente, il progresso scientifico e l’innovazione digitale, hanno contribuito all’introduzione nel settore dello shipping di una polizza di carico basata sulla Blockchain. Nonostante sia indubbio che tale tecnologia possa garantire molteplici vantaggi, il reale utilizzo di una Blockchain Bill of Lading risulta, a tuttora, un’ipotesi in piena evoluzione.