bart

[ALF] Lezione dell’11 dicembre

 ALF, avvisi, cdl-informatica, triennale  Commenti disabilitati su [ALF] Lezione dell’11 dicembre
Dic 102019
 
Mercoledì 11 dicembre dalle 9 alle 11 ci sarà lezione, anziché tutoraggio. Nel mese di gennaio è prevista una serie di tutoraggi per la preparazione all’esame. Le date verranno comunicate attraverso il sito del corso su elearning.unica.it.
 Scritto da alle 21:39

Iscrizioni a CyberChallenge 2020

 cdl-informatica, magistrale, triennale  Commenti disabilitati su Iscrizioni a CyberChallenge 2020
Dic 032019
 
Sono aperte le iscrizioni a CyberChallenge 2020: https://cyberchallenge.it/register L’iscrizione è completamente gratuita ed aperta a tutti gli studenti tra i 16 e 23 anni. La data ultima per iscriversi è il 17 gennaio 2020.
 Scritto da alle 18:54

Preparazione a cyberchallenge.it

 cdl-informatica, triennale  Commenti disabilitati su Preparazione a cyberchallenge.it
Nov 132019
 
Il giorno venerdì 15 novembre 2019 alle ore 17.00 in Aula BA (Facoltà di Ingegneria ed Architettura – Dip. Ingegneria Elettrica ed Elettronica), si svolgerà il secondo incontro di preparazione alla Cyberchallenge 2020, nell’ambito del corso “Programmazione Avanzata” tenuto dal Prof. Davide Maiorca. L’incontro durerà 2 ore circa. Tutti gli interessati sono invitati a partecipare.
 Scritto da alle 15:46

Preparazione a Cyberchallenge.it 2020

 avvisi, cdl-informatica, magistrale, triennale  Commenti disabilitati su Preparazione a Cyberchallenge.it 2020
Ott 182019
 
Il giorno martedì 22 ottobre 2019 alle ore 16.00 in Aula B0 (edificio M2 della Facoltà di Ingegneria ed Architettura – Dip. Ingegneria Elettrica ed Elettronica), si svolgerà il primo incontro di preparazione alla Cyberchallenge 2020, nell’ambito del corso “Programmazione Avanzata” tenuto dal Prof. Davide Maiorca. L’incontro durerà 2 ore circa. Tutti gli interessati sono invitati a partecipare.
 Scritto da alle 11:15

Cyberchallenge.it 2020

 avvisi, cdl-informatica, triennale  Commenti disabilitati su Cyberchallenge.it 2020
Ott 112019
 
Lunedì 14 ottobre alle ore 17.00 nell’Auditorium B dell’ex. Clinica Aresu si svolgerà una demo del Cyberchallenge.it 2020. Tutti gli studenti interessati sono invitati a partecipare. Volantino
 Scritto da alle 12:45

Evento finale Blockchain School (1 CFU)

 cdl-informatica, magistrale  Commenti disabilitati su Evento finale Blockchain School (1 CFU)
Mag 282019
 
Il giorno 14 giugno si svolgerà presso la sede di Pula del CRS4 la giornata finale della 2nd Scientific School on Blockchain & Distributed Ledger Technologies, organizzata dall’Università di Cagliari con la collaborazione dell’Associazione Bitcoin Sardegna ed il contributo economico di Sardegna Ricerche. La giornata è aperta a tutti (previa registrazione) e sarà un momento di incontro tra i docenti della scuola, gli studenti ed il pubblico. Sono disponibili 80 posti, e sarà possibile registrarsi fino al 7 Giugno alle ore 11:00. La giornata prevede 3 keynote lectures tenute da speaker di rilievo internazionale, che illustreranno come le tecnologie blockchain [...]
 Scritto da alle 17:51

CyberChallenge.IT 2019

 avvisi, magistrale, triennale  Commenti disabilitati su CyberChallenge.IT 2019
Gen 092019
 
salve a tutti, quest’anno per la prima volta l’Università di Cagliari parteciperà a CyberChallenge.IT, il primo programma italiano di addestramento alla cybersecurity riservato ai giovani di talento tra i 16 e i 23 anni delle scuole superiori e delle università: https://cyberchallenge.it/ Le iscrizioni sono aperte fino al 20 gennaio; la partecipazione è gratuita. Il 23 gennaio ci sarà una prova preselettiva, seguita il 1° febbraio da una seconda prova, a seguito della quale saranno selezionati 20 studenti. Entrambe le prove saranno solo di programmazione/logica, e non richiederanno basi di sicurezza informatica. Alcuni quiz presi dalle precedenti edizioni del CyberChallenge.IT si [...]
 Scritto da alle 16:50

[ALF] Inizio lezioni

 ALF, cdl-informatica  Commenti disabilitati su [ALF] Inizio lezioni
Set 232018
 
La prossima settimana le lezioni e i tutoraggi saranno organizzati come segue: lunedì 24/9: niente tutoraggio martedì 25/9: lezione 11-13 in Aula Magna Matematica giovedì 27/9: tutoraggio 11-13 in Aula Magna Matematica (entrambi i gruppi) venerdì 28/9: niente
 Scritto da alle 11:58

1st Scientific School on Blockchain and Distributed Ledger Technologies

 Dipartimento matematica informatica, Home page, magistrale, seminari  Commenti disabilitati su 1st Scientific School on Blockchain and Distributed Ledger Technologies
Mar 152018
 
1st Scientific School on Blockchain and Distributed Ledger Technologies Pula, Sardinia, Italy 12-15 June 2018 http://blockchain2018.crs4.it Crypto economics is a new discipline born after the rise of virtual currencies and distributed ledger technologi...
 Scritto da alle 14:47

1st Scientific School on Blockchain and Distributed Ledger Technologies

 cdl-informatica, Dipartimento matematica informatica, magistrale, seminari  Commenti disabilitati su 1st Scientific School on Blockchain and Distributed Ledger Technologies
Mar 152018
 
1st Scientific School on Blockchain and Distributed Ledger Technologies Pula, Sardinia, Italy 12-15 June 2018 http://blockchain2018.crs4.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 [...]
 Scritto da alle 14:47

Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts

 Dipartimento matematica informatica, magistrale, seminari  Commenti disabilitati su Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts
Mar 062018
 
L’Associazione Universo è lieta di invitarvi al seminario “Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts”, che si terrà Mercoledì 7 Marzo, alle ore 17 presso l’Aula Magna di Fisica del...
 Scritto da alle 11:12

Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts

 cdl-informatica, Dipartimento matematica informatica, magistrale, seminari  Commenti disabilitati su Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts
Mar 062018
 
L’Associazione Universo è lieta di invitarvi al seminario “Bitcoin e Crittovalute: alla scoperta delle tecnologie blockchain e degli smart contracts”, che si terrà Mercoledì 7 Marzo, alle ore 17 presso l’Aula Magna di Fisica del Palazzo delle Scienze. L’incontro nasce dalla curiosità di conoscere il fenomeno delle crittovalute e le potenzialità che da esse scaturiscono. Il tema verrà trattato dal punto di vista tecnico ed economico e terminerà con una panoramica sulle opportunità lavorative legate alla tecnologia blockchain. L’incontro prevede tre interventi: Massimo Bartoletti (Università degli Studi di Cagliari). Introduzione a Bitcoin, blockchain e smart contracts. Francesco Piras (Presidente dell’Associazione [...]
 Scritto da alle 11:12

Appello ALF del 16.9.2015

 cdl-informatica  Commenti disabilitati su Appello ALF del 16.9.2015
Set 152015
 
Lo scritto di ALF del 16.9.2015 si svolgerà alle ore 15.00 nel Laboratorio Magistrale del Palazzo delle Scienze.
 Scritto da alle 15:40

Security Horizons

 Unica  Commenti disabilitati su Security Horizons
Ott 242012
 
The PRIN 2010-11 project “Security Horizons” has been funded by the MIUR, with D. D. 23.10.2012 n. 719. National coordinator: Pierpaolo Degano Local coordinator: Massimo Bartoletti Abstract. Society increasingly depends on complex ecosystems of interacting software components. The number and variety of security-critical applications that rely on these systems has also grown over the years, and this trend will foreseably continue in the future. Despite of the applications being security-critical, they are still far from being secure: every day security researchers (and, more dangerously, hackers) discover new attacks to these systems. While perfect security is not a reachable goal, the [...]
 Scritto da alle 20:27

Contract-oriented Computing in CO2

 Unica  Commenti disabilitati su Contract-oriented Computing in CO2
Mag 122012
 
Emilio Tuosto, Roberto Zunino and myself  have developed a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among participants happens via multi-party sessions, which are created once agreements are reached. We present two instances of our calculus, by modelling contracts as processes in a variant of CCS, and as formulae in a logic. We formally relate the two paradigms, through an encoding from contracts-as-formulae to contracts-as-processes [...]
 Scritto da alle 21:51

On the realizability of contracts in dishonest systems

 Unica  Commenti disabilitati su On the realizability of contracts in dishonest systems
Mar 292012
 
Emilio Tuosto, Roberto Zunino and myself have developed a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon – unlike in traditional approaches based on behavioural types. We have considered the contracts of Castagna-Gesbert-Padovani, and we  have embedded them in a calculus that allows distributed participants to advertise contracts, reach agreements, query the fulfilment of contracts, and realise them (or choose not to). Our contract theory makes explicit who is culpable at each step of a computation. A participant is honest in a given context S when she is not [...]
 Scritto da alle 22:02

TRICS

 Unica  Commenti disabilitati su TRICS
Set 232011
 
My RAS Project TRICS: A Trusted Reservation Infrastructure for Computational Societies has been funded (grant L.R.7/2007 CRP-17285). The goal of this project is to model and develop a trustworthy reservation infrastructure. We are looking for a generic infrastructure, which can be specialized to a wide variety of contexts of reservations: flights, hotels, museums, car pooling, medical examinations, etc. A key aspect of the project is that the interaction between clients and services should be guided by contracts, which allow clients and services to agree on the required and offered features. Contracts might have, for example, sanctions for the modification or [...]
 Scritto da alle 11:18

Contracts in Distributed Systems

 Unica  Commenti disabilitati su Contracts in Distributed Systems
Lug 012011
 
Emilio Tuosto, Roberto Zunino and myself have introduced a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happens via multi-party sessions, which are created once agreements are reached. We have presented two instances of our calculus, by modelling contracts as (i) processes in a variant of CCS, and (ii) as formulae in a logic. With the help of a few examples, we have discussed [...]
 Scritto da alle 18:08

kSOAP2 patch for user-defined objects and arrays

 Unica  Commenti disabilitati su kSOAP2 patch for user-defined objects and arrays
Dic 032010
 
The current version of kSOAP2, the Android library for communication via SOAP, does not offer facilities for serializing and deserializing complex objects. Furthermore, arrays are not supported. In this post, we will introduce a patch of kSOAP2 which enables Android clients to communicate complex objects and arrays via SOAP. We will do that with the help of an example. Here you can find: * the jar of our patch * the sources of the patched files * the sources of the example (both client and server) * the sources of the official version of kSOAP2.
 Scritto da alle 14:48

TESLA

 Unica  Commenti disabilitati su TESLA
Apr 022010
 
My RAS Project TESLA: Techniques for Enforcing Security in Languages and Applications has been funded (grant L.R.7/2007-CRP2_120). This project aims at fostering the understanding and the circulation of formal methods for security outside the academic context. We propose a vertical approach, where software security is considered at different levels of abstraction… We start from a foundational level, where we consider idealised models of programming languages. At this level, we introduce various security models and policies, and we study techniques for their analysis and enforcement. We then move to the programming languages level. At this more concrete level, we consider commercial [...]
 Scritto da alle 17:33

A Calculus of Contracting Processes

 Unica  Commenti disabilitati su A Calculus of Contracting Processes
Ott 122009
 
Roberto Zunino and myself have recently investigated the logical foundations of contracts in concurrent systems.  A contract is an agreement stipulated between two or more parties, which specifies the duties and the rights of the parties involved therein. We have modelled contracts as formulae in an intuitionistic logic extended with a “contractual” form of implication.  We have proved decidability of our logic via cut elimination: this allows us to mechanically infer the rights and the duties deriving from any set of contracts. We have embedded our logic in a core calculus of contracting processes, which combines features from concurrent constraints [...]
 Scritto da alle 10:12

Moved to Unica

 Unica  Commenti disabilitati su Moved to Unica
Nov 032008
 
Since Nov 3, 2008 I am a researcher at the Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari. I moved from the University of Pisa, where I got my PhD in 2005 at the Computer Science Department, with a thesis on static analysis for language-based security. From 2005 to 2008, I had two postdocs on programming languages security. Here you can find a full list of my publications, sorted by category.
 Scritto da alle 13:20
credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar