News & Events

Nuova versione di THUD

Il famoso stile LaTeX THUD per le tesi del DMIF è stato adeguato all’immagine coordinata dell’Università di Udine. Oltre alla grafica del frontespizio, dove sono apparsi i colori istituzionali di UniUD, sono stati modificate anche le intestazioni dei capitoli e le intestazioni delle pagine. Purtroppo questo ha significato perdere il “mezzo pollo” in trasparenza sullo … Continue reading Nuova versione di THUD

Cyberchallenge 2020 – spostamento scadenza iscrizioni

La scadenza per le iscrizioni alla CyberChallenge 2020 è stata spostata al 6 febbraio 2020. Iscrivetevi numerosi!

OWASP Day 2019 @ Udine

OWASP Italy Day is a one-day conference focused on web application and software security, application security testing tools and technologies and cloud security. This conference provides a unique opportunity to learn about application security topics and to network with application security professionals/managers, software engineers, software quality engineers/testers and computer science students. This year special topic … Continue reading OWASP Day 2019 @ Udine

Cyberchallenge.it 2020

CyberChallenge.it 2020 è il primo programma italiano di addestramento alla cybersecurity per giovani di talento delle scuole superiori e delle università. Il programma mira a identificare, attrarre, reclutare e collocare la prossima generazione di professionisti della  sicurezza informatica. Il programma si rivolge ai  giovani talenti tra i 16 e i 23 anni, e  affianca un’attività … Continue reading Cyberchallenge.it 2020

Qualche statistica su Reti di Calcolatori 2018-19

Come di tradizione, adesso che si è chiuso anche l’ultimo appello di Reti di Calcolatori per l’A.A. 2018-19 possiamo fare qualche veloce analisi. Nei cinque appelli del 2019 si sono iscritti ad almeno un appello 149 studenti (-13 rispetto al 2018; -8%), per complessive 271 iscrizioni (-39; -12,6%).Si sono registrate 196 presenze agli scritti (-49; … Continue reading Qualche statistica su Reti di Calcolatori 2018-19

Assenza 9–13 settembre 2019

Sarò assente per missione fuori sede dal 9 al 13 settembre 2019.

New paper “A GSOS for Attribute-based Communication”

The short paper A GSOS for Attribute-based Communication by Matteo Paier and myself, has been accepted to EXPRESS/SOS, the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. Abstract: We propose a new GSOS semantics fo AbC, a calculus for attribute-based communication. This semantics is simpler than the previous … Continue reading New paper “A GSOS for Attribute-based Communication”

LMCS Special Festschrift Issue in Honor of Furio Honsell

Finally, the LMCS Special Issue collecting a selection of the papers presented at the Symposium in honour of Furio Honsell, on the occasion of his 60th birthday, is out on the Logical Methods in Computer Science website.

New paper “An abstract distributed middleware for transactions over heterogeneous stores”

The paper An abstract distributed middleware for transactions over heterogeneous stores by Luca Geatti, Federico Igne and myself, has been accepted to the 20th Italian Conference on Theoretical Computer Science. Abstract: We present an abstract middleware, called Acidify, for the coordination of transactions between distributed processes accessing shared heterogeneous (possibly remote) storage services. Processes can … Continue reading New paper “An abstract distributed middleware for transactions over heterogeneous stores”

Tesi, Tirocini e Posizioni in Security presso Cybaze

La Cybaze (che ha recentemente acquisito Emaze Networks) è disposta ad ospitare, presso la sede di Trieste, tesisti triennali interessati allo sbocco professionale come IT Security Analyst Consultant per Security Operation Center (SOC). Gli interessati dovranno sviluppare dei tool SW che sono funzionali all’attività degli analisti. Inoltre, sono alla ricerca di giovani da avviare alla … Continue reading Tesi, Tirocini e Posizioni in Security presso Cybaze