Gestione della disponibilità nella catena di distribuzione del sangue con Smart Contract in Ethereum

All’inizio di questa tesi viene discusso il funzionamento delle tecnologie visionate, Bitcoin ed Ethereum, cercando di identificarne i punti principali e salienti: la gestione delle transazioni, le tipologie di Blockchain adottate oggi e l’introduzione degli Smart Contract per sviluppare applicazioni decentralizzate. Successivamente viene considerato il caso di studio, il quale sottolinea la distribuzione delle sacche di sangue tra un centro trasfusionale e un’azienda sanitaria, con lo scopo di mettere in evidenza le interazioni tra queste, concentrandosi sulla disponibilità. Infine, dopo un’analisi del linguaggio Solidity e dopo la descrizione della modalità di sviluppo adottata accompagnata da una fase di testing, viene esposta l’implementazione realizzata concentrandosi sui dettagli delle funzionalità proposte.

Proof of Location through a Blockchain Agnostic Smart Contract Language: Design and Evaluation over Algorand and Ethereum

Le applicazioni che offrono servizi sulla base della posizione degli utenti sono sempre più utilizzate, a partire dal navigatore fino ad arrivare ai sistemi di trasporto intelligenti (ITS) i quali permetteranno ai veicoli di comunicare tra loro. Alcune di questi servizi permettono perfino di ottenere qualche incentivo se l'utente visita o passa per determinate zone. Per esempio un negozio potrebbe offrire dei coupon alle persone che si trovano nei paraggi. Tuttavia, la posizione degli utenti è facilmente falsificabile, ed in quest'ultima tipologia di servizi, essi potrebbero ottenere gli incentivi in modo illecito, raggirando il sistema. Diviene quindi necessario implementare un'architettura in grado di impedire alle persone di falsificare la loro posizione. A tal fine, numerosi lavori sono stati proposti, i quali delegherebbero la realizzazione di "prove di luogo" a dei server centralizzati oppure collocherebbero degli access point in grado di rilasciare prove o certificati a quegli utenti che si trovano vicino. In questo lavoro di tesi abbiamo ideato un'architettura diversa da quelle dei lavori correlati, cercando di utilizzare le funzionalità offerte dalla tecnologia blockchain e dalla memorizzazione distribuita. In questo modo è stato possibile progettare una soluzione che fosse decentralizzata e trasparente, assicurando l'immutabilità dei dati mediante l'utilizzo della blockchain. Inoltre, verrà dettagliato un'idea di caso d'uso da realizzare utilizzando l'architettura da noi proposta, andando ad evidenziare i vantaggi che, potenzialmente, si potrebbero trarre da essa. Infine, abbiamo implementato parte del sistema in questione, misurando i tempi ed i costi richiesti dalle transazioni su alcune delle blockchain disponibili al giorno d'oggi, utilizzando le infrastrutture messe a disposizione da Ethereum, Polygon e Algorand.

Smart contracts per acquisto e gestione di assicurazioni sanitarie

In questo elaborato vengono introdotte le caratteristiche fondamentali della blockchain ed in particolare dello sviluppo di smart contract tramite Solidity nella Blockchain Ethereum. Successivamente, sono illustrate le applicazioni di questa tecnologia in ambito sanitario e viene presentato il progetto sviluppato. In seguito, viene spiegata nel dettaglio l’implementazione del già menzionato progetto e si mostrano i test svolti; viene, inoltre, mostrata una semplice analisi sul costo computazionale, in termini di gas, del codice scritto. Questa tecnologia si presta efficacemente a sviluppi di applicazioni in ambito sanitario per le sue proprietà, come l’immutabilità e la privacy; nel sistema sviluppato la profonda sicurezza delle transazioni (data dalla blockchain) rende possibile l’acquisto e la gestione di un’assicurazione sanitaria senza la necessità di appoggiarsi a terze parti. In conclusione, vengono discusse possibili modifiche e miglioramenti al sistema proposto.

Lohkoketjuteknologian soveltaminen finanssisektorille

Tämän kandidaatintutkielman tarkoituksena on tutkia, miten lohkoketjuteknologiaa voi soveltaa finanssisektorille. Tutkimus tarjoaa yleiskuvan lohkoketjuteknologista, sekä sen sovelluskohteista finanssisektorilla. Tutkimusmenetelmä on kvalitatiivinen ja se toteutettiin haastattelemalla pankkeja, jotka osallistuvat Distributed Ledger Group (DLG)-konsortioon. Kyseinen konsortio pyrkii 42 pankin ja R3cev nimisen yrityksen välisessä yhteistyössä soveltamaan lohkoketjuteknologiaa pankkisektorille. Haastattelujen perusteella pankit pitävät lohkoketjuteknologian potentiaalia pitkällä aikavälillä suurena. Erityisesti lohkoketjuteknologian odotetaan laskevan kustannuksia, sekä nopeuttavan toimintoja useiden eri tuotteiden kohdalla. Pelkästään pankkisektorilla tutkitaan tällä hetkellä kymmeniä eri sovelluskohteita. Ennen kuin lohkoketjulla voidaan nähdä kaupallista toimintaa, tulee haasteita ylittää sekä teknisellä, että säädännöllisellä puolella. Vielä on liian varhaista arvioida, milloin lohkoketjuteknologiaa tullaan soveltamaan laajemmin finanssisektorilla. Pankkien oma tutkimus aiheesta oli vielä suhteellisen varhaisessa vaiheessa. Lohkoketjuteknologian potentiaali voidaan nähdä tutkimuksen perusteella valtavan suurena. Vielä on kuitenkin vaikea arvioida tullaanko tähän potentiaaliin tulevaisuudessa yltämään. Finanssisektorilla on monia toimijoita, jotka tutkivat lohkoketjuteknologiaa ja se vauhdittaa kehitystä. Lohkoketjuteknologia saattaa tulevaisuudessa mullistaa monia finanssisektorin osa-alueita tai jopa korvata ne kokonaan.

Nuovi modelli di business nel Web 3.0

Il Web 3.0 è un'estensione del web come lo conosciamo oggi basata sulla blockchain e che ha permesso negli ultimi anni lo sviluppo della Token Economy. I token e gli smart contract sono gli strumenti che permettono di creare nuovi modelli di business tokenizzati. Questa tesi ha lo scopo di capire quale sia il legame tra lo sviluppo delle tecnologie del Web 3.0 e i modelli di business che ne derivano, andando a individuare i modelli imprenditoriali più noti, la loro value proposition e le complicazioni ad essi associate.

Blockchain ed Ethereum

Negli ultimi anni si sta notando sempre di più il cambiamento apportato dalla tecnologia ai vari settori industriali, il quale costringe ogni azienda ad adattare i propri processi per mantenere la propria posizione sul mercato. Un'innovazione è costituita dalla blockchain, che viene presentata come un insieme di tecnologie distribuite volte a mantenere un registro condiviso immutabile. Le sue applicazioni si possono trovare nell'ambito economico attraverso le criptovalute fino ad arrivare alla certificazione in supply chain di società o enti. Come tutte le innovazioni porta con sè vantaggi e peculiarità che ne contraddistinguono il funzionamento. In questa tesi si tratteranno blockchain Ethereum e Smart Contracts ossia componenti definiti in Solidity, un linguaggio dalla caratteristica di Touring Completeness. Con lo sviluppo degli Smart Contract si è arrivati alla creazione di applicazioni decentralizzate, organizzazioni autonome e certificazioni fino alla creazione di standard per token fungibili. Infine un aspetto da non sottovalutare quando si parla di sistemi distribuiti ed in particolare di blockchain è la sicurezza. Verranno introdotti i principali attacchi all'infrastruttura e all'utente, ponendo attenzione a come questo aspetto possa essere tralasciato per favorire interoperabilità tra blockchain.

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.

Optimal contract pricing of distributed generation under a competitive framework

A bilevel programming approach for the optimal contract pricing of distributed generation (DG) in distribution networks is presented. The outer optimization problem corresponds to the owner of the DG who must decide the contract price that would maximize his profits. The inner optimization problem corresponds to the distribution company (DisCo), which procures the minimization of the payments incurred in attending the expected demand while satisfying network constraints. The meet the expected demand the DisCo can purchase energy either form the transmission network through the substations or form the DG units within its network. The inner optimization problem is substituted by its Karush- Kuhn-Tucker optimality conditions, turning the bilevel programming problem into an equivalent single-level nonlinear programming problem which is solved using commercially available software. © 2010 IEEE.

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.

Smart cards for transit : multi-use remotely interrogated stored-data cards for fare and toll payment /

"FTA-MA-26-0020-95-1."

SMART: a program for simplified matrix algebra on remote terminals.

Thesis (M.S.)--University of Illinois.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Smart Alerts: Development of Software to Optimize Data Monitoring

Dherte PM, Negrao MPG, Mori Neto S, Holzhacker R, Shimada V, Taberner P, Carmona MJC - Smart Alerts: Development of a Software to Optimize Data Monitoring. Background and objectives: Monitoring is useful for vital follow-ups and prevention, diagnosis, and treatment of several events in anesthesia. Although alarms can be useful in monitoring they can cause dangerous user`s desensitization. The objective of this study was to describe the development of specific software to integrate intraoperative monitoring parameters generating ""smart alerts"" that can help decision making, besides indicating possible diagnosis and treatment. Methods: A system that allowed flexibility in the definition of alerts, combining individual alarms of the parameters monitored to generate a more elaborated alert system was designed. After investigating a set of smart alerts, considered relevant in the surgical environment, a prototype was designed and evaluated, and additional suggestions were implemented in the final product. To verify the occurrence of smart alerts, the system underwent testing with data previously obtained during intraoperative monitoring of 64 patients. The system allows continuous analysis of monitored parameters, verifying the occurrence of smart alerts defined in the user interface. Results: With this system a potential 92% reduction in alarms was observed. We observed that in most situations that did not generate alerts individual alarms did not represent risk to the patient. Conclusions: Implementation of software can allow integration of the data monitored and generate information, such as possible diagnosis or interventions. An expressive potential reduction in the amount of alarms during surgery was observed. Information displayed by the system can be oftentimes more useful than analysis of isolated parameters.