Lug 182016
 

Upcoming Seminar

July 22, 15.00 (Aula C)
Palazzo delle Scienze – Cagliari


Andrea Bracciali

SICSA Lecturer – University of Stirling (UK)

Abstract. Decentralised smart contracts represent the next step in the development of protocols that support the interaction of independent players without the presence of a coercing authority. Based on protocols à la BitCoin for digital currencies, smart contracts are believed to be a potentially enabling technology for a wealth of future applications. The validation of such an early developing technology is as necessary as it is complex. In this paper we combine game theory and formal models to tackle the new challenges posed by the validation of such systems.

 Scritto da in 18 Luglio 2016  seminari  Commenti disabilitati su Seminar: Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Lug 022016
 

Upcoming Seminar

Lightweight session programming in Scala

July 7, 15.00 (Aula C)
Palazzo delle Scienze – Cagliari

Alceste Scalas

Imperial College London

Abstract. Designing, developing and maintaining concurrent applications is an error-prone and time-consuming task; most difficulties arise because compilers are usually unable to check whether the inputs/outputs performed by a program at runtime will adhere to a given protocol specification. To address this problem, we propose lightweight session programming in Scala: we leverage the native features of the Scala type system and standard library, to introduce (1) a representation of session types as Scala types, and (2) a library, called lchannels, with a convenient API for session-based programming, supporting local and distributed communication. We generalise the idea of Continuation-Passing Style (CPS) protocols, studying their formal relationship with session types. We illustrate how session programming can be carried over in Scala: how to formalise a communication protocol, and represent it using Scala classes and lchannels, letting the compiler help spotting protocol violations. We attest the practicality of our approach with a complex use case, and evaluate the performance of lchannels with a series of benchmarks.

 Scritto da in 2 Luglio 2016  seminari  Commenti disabilitati su Seminar: Lightweight session programming in Scala
Lug 012016
 

Responsabile Scientifico: prof. Salvatore Carta

Titolo: STUDIO, PROGETTAZIONE E SPERIMENTAZIONE DI MODULI DI UNA PIATTAFORMA MODULARE PER COMMUNITY WEB, CON ENFASI SU TECNOLOGIE MOBILE

Tipo di contratto: borsa di ricerca

Durata: 6 mesi

Documenti

 Scritto da in 1 Luglio 2016  bandi-selezioni  Commenti disabilitati su BANDO BORSA DI RICERCA N. 19-2016 – PROF. SALVATORE CARTA
Giu 202016
 

Responsabile Scientifico: prof.ssa Paola Zuddas

Titolo: SVILUPPO E IMPLEMENTAZIONE DI UN SISTEMA DI SUPPORTO ALLE DECISIONI PER LA PIANIFICAZIONE OTTIMALE DELLA LOGISTICA DELL’UTILIZZO DELLE RISORSE UMANE

Tipo di contratto: borsa di ricerca

Durata: 6 mesi

Documenti

 Scritto da in 20 Giugno 2016  bandi-selezioni  Commenti disabilitati su BANDO BORSA DI RICERCA N. 17-2016 – PROF.SSA PAOLA ZUDDAS
Giu 132016
 

1 – Introduction to cryptocurrencies and smart contracts

15.4.2016 h12.00 – Lab M (Massimo Bartoletti)


2 – Introduction to smart contracts in Ethereum

22.4.2016 h12.00 – Lab M (Tiziana Cimoli)  —  Slides


3 – Incentives for smart contracts

29.4.2016 h11.00 – Lab M (Nicola Atzei) — Slides

4 – Vulnerabilities of Bitcoin

6.5.2016 h11.00 – Lab M (Stefano Lande) — Slides

5 – Analysis of the Bitcoin protocol

13.5.2016 – h11.00 – Lab M (Alessandro Sebastian Podda) — Slides

6 – Ethereum in depth

20.5.2016 h11.00 – Lab M (Nicola Atzei and Tiziana Cimoli) — Slides

7 – A survey of frameworks for smart contracts

27.5.2016 h11.00 – Lab M (Livio Pompianu) — Slides

 Scritto da in 13 Giugno 2016  seminari  Commenti disabilitati su Seminars series: cryptocurrencies and smart contracts
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar