Seminario “Business e Network Security”

Il giorno venerdì 29 maggio 2015 alle ore 10.30 in aula 12, Davide Varesano di eMaze terrà un intervento all’interno del corso di “Sistemi Distribuiti”, riguardante aspetti di sicurezza informatica a livello industriale. L’intervento è rivolto a tutto gli studenti di Reti di Calcolatori, Sistemi Operativi, Sistemi Distribuiti, ecc.

Posted in Didattica, Reti di Calcolatori, Sistemi Distribuiti, Teoria della Concorrenza | Comments Off on Seminario “Business e Network Security”

Program of MeMo 2015 is online

The program of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2015) is online at http://discotec2015.inria.fr/memo-2015/.

Posted in Research | Comments Off on Program of MeMo 2015 is online

New paper: Open Transactions on Shared Memory

The paper Open Transactions on Shared Memory by Marco Peressotti, Andrea Toneguzzo and myself has been published in the Proceedings of Coordination Models and Languages (COORDINATION 2015).

Posted in Uncategorized | Comments Off on New paper: Open Transactions on Shared Memory

Lezione di Sistemi Distribuiti del 29 aprile

La lezione del corso di Sistemi Distribuiti prevista per mercoledì 29 aprile è sospesa. Riprenderemo regolarmente le lezioni giovedì 30 aprile.

Posted in Didattica, Sistemi Distribuiti | Comments Off on Lezione di Sistemi Distribuiti del 29 aprile

New paper: Structural Operational Semantics for Continuous State Stochastic Transition Systems

The paper Structural Operational Semantics for Continuous State Stochastic Transition Systems by Giorgio Bacci and myself has been published on Journal of Computer and System Sciences 81 (2015).

Posted in Research | Comments Off on New paper: Structural Operational Semantics for Continuous State Stochastic Transition Systems

Esame Francescon per Teoria della Concorrenza

Luca Francescon terrà il seminario-esame del corso di Teoria della Concorrenza il giorno martedì 17 marzo ore 14:00 in Aula Multimediale del DiMI.
Francescon ci parlerà di Timing attack: automated analysis and prevention, ossia sui modelli per attacchi di sicurezza basati su aspetti temporali, e la loro applicazione.

Tutti gli studenti del corso di Teoria della Concorrenza sono invitati a partecipare, e a girare l’invito ad altre persone interessate.

Posted in Didattica, Teoria della Concorrenza | Comments Off on Esame Francescon per Teoria della Concorrenza

Lezione SD di 13 marzo

La lezione del corso di Sistemi Distribuiti prevista per venerdì 13 marzo è sospesa. Riprenderemo regolarmente le lezioni mercoledì 18 marzo.

Posted in Didattica, Sistemi Distribuiti | Comments Off on Lezione SD di 13 marzo

Seminario “Business Security: Wireless and Industrial Security”

Come di tradizione, a conclusione del corso di “Reti di Calcolatori” organizziamo un evento su Sicurezza Informatica.
L’argomento di quest’anno è Business Security: Wireless and Industrial Security.
L’evento si terrà presso le Aule Beta1 e Beta2, dalle 14:30 alle 16:30 di mercoledì 21 gennaio 2015, e vedrà il contributo dei seguenti relatori:

Alan Ferrario, Horizon Security: WiFi: History and security
Alessandro Marzi, ENI: Industrial Plant: Security at a glance
Filippo Morgan, Horizon Security: Live Demo: Your WiFi is my WiFi! Le slide sono disponibili a questo link.

Tutti gli interessati sono invitati a partecipare – e a girare il presente invito ad altri.

Posted in Didattica, Reti di Calcolatori | Comments Off on Seminario “Business Security: Wireless and Industrial Security”

Esercitazione di Reti di Calcolatori

Come annunciato alla fine del corso, in vista dell’esame di Reti di Calcolatori si terrà una lezione extra il 12 gennaio 2015 (alle 10.30 in aula I, come al solito). In tale lezione verranno svolte esercitazioni su esercizi degli esami scorsi, specialmente sulla terza parte (sicurezza delle reti).

Posted in Didattica, Reti di Calcolatori | Comments Off on Esercitazione di Reti di Calcolatori

Esame Foschiano per Teoria della Concorrenza

Andrea Foschiano terrà il seminario-esame del corso di Teoria della Concorrenza il giorno venerdì 19 dicembre ore 9:00 in Sala Riunioni del DiMI.
Foschiano ci parlerà di Making random choices invisible to the scheduler, ossia come la schedulazione può estrarre informazioni dai processi, e su come evitarlo.

Tutti gli studenti del corso di Teoria della Concorrenza sono invitati a partecipare (non mi risulta che ci siano lezioni in sovrapposizione), e a girare l’invito ad altre persone interessate.

Posted in Didattica, Teoria della Concorrenza | Comments Off on Esame Foschiano per Teoria della Concorrenza