Sicurezza e audit degli smart contract

Spero di fare cosa gradita pubblicando la lecture che ho tenuto nel 2019 alla Scientific School on Blockchain and DLT sulla sicurezza e ispezione del codice degli smart contract. Il 2020 è un anno pieno di incognite, quale migliore occasione di usare la rete come veicolo di diffusione. Nell’attesa di confermare l’appuntamento per la School 2020 vi auguro buona lettura.

Blockchain Scientific School 2019

Anche quest’anno si svolgerà la Blockchain Scientific School a Pula. Questa seconda edizione sarà organizzata dall’Università di Cagliari e sono lieto di fornire il mio contributo come speaker e come membro del comitato scientifico. L’edizione del 2018 è stata un grande successo e sono sicuro che anche la seconda edizione non deluderà le aspettative.

Ecco l’avviso riportato di seguito.

2nd Scientific School on Blockchain & Distributed Ledger Technologies

Pula, Sardinia, Italy

10-14 June 2019

===========================================================
http://blockchainschool.unica.it
===========================================================

Crypto economics is a new discipline born after the rise of virtual 
currencies and distributed ledger technologies, and is rapidly 
developing in a unique intersection between computing, cryptography, 
law, economics, and game theory. The school aims at disseminating 
knowledge about the foundations and the applications of these 
technologies to researchers, PhD students, scholars and technologists in 
industry and academia, not excluding under- or new graduates with strong 
technical drive and a sufficient background.

SCHOOL VENUE

The school will be hosted at the Technology Park of Sardinia in Pula 
(Italy). Some travel information are available here: 
https://www.sardegnaricerche.it/index.php?xsl=370&s=101852&v=2&c=3826&nc=1&sc=

REGISTRATION & SELECTION

The school plans for a maximum of 30 attendees; the attendance to the 
school is FREE, while travel and accommodation expenses are to be paid 
by participants (there are several affordable accommodations in Pula or 
in Cagliari). The participants will be selected by the scientific 
committee on a CV best-match basis.

Registration link: http://blockchainschool.unica.it/registration.php

IMPORTANT DATES

Application deadline: April 15, 2019

Notification: April 30, 2019.

School dates: June 10-14, 2019

PROGRAM

Francesco Bruschi. Introduction to blockchain technologies

Roberto Zunino. Bitcoin Tutorial

Andrea Margheri. Hyperledger Fabric Tutorial

Andrea Bracciali. Blockchains: decentralisation, incentives, 
disintermediation and governance

Francesco Bruschi. Ethereum tutorial

Davide Carboni. Security auditing of smart contracts

Andrea Pinna, Roberto Tonelli. Web3 Lab

Michele Marchesi. Blockchain-oriented software engineering

Chunming Rong. Blockchain in industry

Primavera De Filippi. Blockchain and law

Marcella Atzori. Blockchain governance for Public Administration

Massimo Morini. Blockchain and the transformation of Financial Markets

The school will also feature several practical sessions covering dapps 
development with Bitcoin, Ethereum and Hyperledger Fabric. See the 
school website for the full program: 
http://blockchainschool.unica.it/program.php

SCIENTIFIC COMMITTEE

Massimo Bartoletti, University of Cagliari, Italy (chair)

Davide Carboni, Smart Valor AG, Switzerland

Rocco De Nicola, IMT Lucca & CINI Cybersecurity National Lab, Italy

Michele Marchesi, University of Cagliari, Italy

Francesco Piras, Brightnode Sagl, Switzerland

Roberto Tonelli, University of Cagliari, Italy

For additional information, please contact the Organization Chair: 
blockchainschool@unica.it <mailto:blockchainschool@unica.it>

The school is organized thanks to the economic and organizing support of 
the regional agency Sardegna Ricerche and the Autonomous Region of 
Sardinia (RAS), through the Scientific School 2018/19 funding.

Una summer school sulla tecnologia blockchain, in Sardegna

AGGIORNAMENTI (Aprile 2020)

A causa delle restrizioni imposte dall’emergenza COVID19 la blockchain school 2020 è stata rimandata a Settembre. Ulteriori aggiornamenti seguiranno su questa pagina.

AGGIORNAMENTI (29 Febbraio 2020):

La blockchain ha visto svolgersi l’edizione 2019 di cui si riporta link a seguire ed in programma l’edizione 2020 organizzata dal Dipartimento di Matematica e Informatica dell’Università di Cagliari in collaborazione con l’associazione Bitcoin Sardegna.

edizione 2019

edizione 2020

Articolo originale del 2018

Il CRS4 (Centro di ricerca, sviluppo, studi superiori in Sardegna) insieme all’Università di Cagliari e all’Associazione Bitcoin Sardegna, e grazie al contributo finanziario di Sardegna Ricerche attraverso il bando “Scientific School 2017/18”, organizza una scuola di alta specializzazione tecnico/scientifica sul tema della cripto economia e della tecnologia blockchain, che si terrà dal 12 al 15 Giugno 2018

La cripto economia è una nuova disciplina che nasce all’indomani dell’invenzione delle monete virtuali Bitcoin ed Ethereum e in generale dei sistemi di transazioni decentralizzati. E’ una disciplina che vive all’intersezione di altre discipline tradizionali come informatica, crittografia, diritto, economia e teoria dei giochi. Il concetto portante è la decentralizzazione e la relativa rimozione di punti di debolezza della rete che permette di costruire dei veri e propri contratti crittografici e sicuri tra parti senza dover utilizzare un mediatore.

I campi applicativi sono molteplici: finanza, venture capital, sicurezza informatica, energia e smart grid, Internet of Things, notarizzazione e trasparenza amministrativa, audit di dati e processi, tracciamento dei cibi e dei prodotti in generale, creazione di nuovi modelli di organizzazioni crittografiche e decentralizzate.

La scuola, che si terrà in lingua inglese, si rivolge a ricercatori attivi in centri di ricerca o aziende hi-tech o con ambizione di lanciare prodotti ad alta tecnologia nel prossimo futuro, e studenti di dottorato o post-doc nei settori dell’ICT. Questo non esclude che anche studenti o neolaureati possano accedere alla scuola se particolarmente motivati e dotati della preparazione necessaria per poter seguire proficuamente le lezioni.

Il programma delle lezioni prevede lecturer di chiara fama internazionale tra cui il Turing-award laureate Silvio Micali.

Le iscrizioni sono gratuite e da effettuarsi entro il 15 Aprile 2018. I partecipanti saranno selezionati dal comitato scientifico sulla base del curriculum e del potenziale beneficio che il candidati potranno ottenere dalla frequenza delle lecture. Per informazioni, programma ed iscrizioni visitare la pagina web blockchain2018.crs4.it