28 maggio 2024

Seminario su Software Security and Protection

A luglio si terrà un seminario di 24 ore sulla sicurezza e protezione del software. Il seminario è aperto agli studenti iscritti al corso di Laurea Magistrale in Computer Engineering, Cybersecurity and Artificial Intelligence (2 crediti) o al Corso di Dottorato in Ingegneria Elettronica ed Informatica (3 crediti). Il seminario coprirà molteplici aspetti nel campo della sicurezza del software.

27 maggio 2024

Course "Finite-State Dynamical Systems" by Prof. Kuize ZHANG

The course contains basic knowledge on two classes of finite-state dynamical systems --- finite automata and weighted automata. For the former, basic tools --- concurrent composition and observer will be introduced, how to use them to verify basic inference-based properties and concealment-based properties in discrete-event systems modelled by finite automata will be introduced as well. For the latter, only basic definitions will be introduced and compared over semirings and monoids. Students will acquire basic knowledge in control theory and computer science based on these two classes of systems, and will also catch a glimpse of similarities and differences between them.

14 maggio 2024

Short course on "Secret Protection in Discrete Event Systems" by Ziyue Ma, Xidian University, China

Security issues of cyber-physical systems have drawn much attention in recent years. A system usually contains some secrets that are not expected to be exposed or hacked by unauthorized external intruders. In this 4-hour lectures, we introduce to students a general framework to secret protection in discrete-event systems. Our aim is to design an event-protecting policy such that any user, either legal or unauthorized, who visits a secret state must successfully executes/hacks a number of protected events to have an authorization satisfying the safety requirement. Two criteria of optimality (disruptiveness and cost) of designing protecting policies will be considered.

10 maggio 2024

Evento SIOS Sardinia 2024

SIOS Sardinia 2024 è un evento organizzato da Innois Srl, società strumentale della Fondazione di Sardegna dedicata a promuovere la cultura delle nuove tecnologie e dell'imprenditorialità in Sardegna e a creare connessioni stabili con l'ecosistema dell'innovazione nazionale. SIOS Sardinia 2024 offre agli stuidenti universitari un percorso formativo dedicato ai nuovi paradigmi tecnologici. La partecipazione è gratuita e coloro che frequenteranno tuttel le attività e supereranno la verifica finale potranno richiedere ilk riconoscimento di 1 CFU.

Questionario e social

Condividi su:
Impostazioni cookie