Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali
Salva questo lavoro e mantieni la tua ricerca organizzata
Crea un account gratuito per salvare lavori, creare avvisi e tornare a questa inserzione dalla tua dashboard.
Continuando accetti i nostri Termini & Informativa sulla privacy.
Tutor esperte/i nel proprio settore ti seguiranno, consentendoti di approfondire la parte teorica e di sviluppare la tua tesi, preparandoti al meglio per le sfide professionali future.
Le tematiche proposte per le tesi da svolgere in Leonardo abbracciano un vasto spettro di ambiti tecnologici, ricerca e innovazione: dall’Intelligenza Artificiale all’High-Performance Computing, dalla Cyber Sicurezza all’Ingegneria dei materiali, passando per i settori aerospaziali. Potrai esplorare le aree più all’avanguardia del tuo settore di studi, con creatività e spirito di innovazione.
Per supportarti nel corso di questa esperienza, della durata massima di sei mesi, è previsto inoltre un rimborso spese.
Stiamo ricercando n. 1 giovane studente o studentessa da inserire in stage, con l’obiettivo di sviluppare la propria tesi di laurea sul tema relativo alla Cybersecurity on UAS legacy: “Verifica vulnerabilità tramite modelli formali” presso il sito di Ronchi dei Legionari.
La crescente integrazione dei sistemi aerei a pilotaggio remoto (UAS) in contesti operativi critici rende necessario affrontare in modo sistematico le vulnerabilità degli UAS legacy, vulnerabili perché progettati senza difese informatiche attuali.
La tesi intende colmare questo divario attraverso un approccio metodologico fondato su:
Reverse engineering hardware/software, individuando punti di ingresso vulnerabili. Modelli formali che formalizzano e verificano proprietà di sicurezza (integrità, autenticità, disponibilità) garantendo correttezza delle contromisure.Combinando questi approcci si ottiene una metodologia per rafforzare retroattivamente la resilienza dei sistemi esistenti, riducendo i rischi di attacchi e migliorando la sicurezza del sistema UAS.
Principali attività:
Analisi del sistema UAS legacy
Raccolta e studio della documentazione disponibile; Ricostruzione dell’architettura software/hardware tramite tecniche di reverse engineering; Identificazione delle superfici d’attacco e delle vulnerabilità strutturali.Reverse engineering e modellazione formale
Estrazione dei comportamenti funzionali e dei flussi di comunicazione; Definizione di modelli formali per la verifica di proprietà di sicurezza e resilienza; Validazione dei modelli tramite simulazioni e analisi statica/dinamica.Cybersecurity e resilienza
Valutazione delle minacce secondo standard e best practice (es. DO 326A, NIST, ENISA); Definizione di contromisure tecniche e procedurali applicabili a sistemi legacy.Principali attività:
Analisi del sistema UAS legacy
Raccolta e studio della documentazione disponibile; Ricostruzione dell’architettura software/hardware tramite tecniche di reverse engineering; Identificazione delle superfici d’attacco e delle vulnerabilità strutturali.Reverse engineering e modellazione formale
Estrazione dei comportamenti funzionali e dei flussi di comunicazione; Definizione di modelli formali per la verifica di proprietà di sicurezza e resilienza; Validazione dei modelli tramite simulazioni e analisi statica/dinamica.Cybersecurity e resilienza
Valutazione delle minacce secondo standard e best practice (es. DO 326A, NIST, ENISA); Definizione di contromisure tecniche e procedurali applicabili a sistemi legacy.Supporto alla conformità normativa
Analisi dei requisiti regolatori emergenti per UAS e sistemi critici; Contributo alla preparazione di evidenze, report tecnici e documentazione di conformità.Collaborazione interdisciplinare
Interfaccia con team di ingegneria, sicurezza, certificazione e safety; Partecipazione a revisioni tecniche, audit interni e attività di governance.Titolo di studio: Laurea Magistrale in Informatica, Ingegneria Elettronica, dell’Automazione.
Seniority: Junior
Conoscenze e competenze tecniche:
Competenze nei principali linguaggi di programmazione, con capacità di sviluppare script, strumenti di analisi e piccole applicazioni; Conoscenza dei protocolli di comunicazione di rete TCP e UDP; Comprensione dei concetti fondamentali di cybersecurity, incluse le vulnerabilità comuni nei sistemi embedded e nei protocolli di rete; Capacità di identificare superfici di attacco elementari in sistemi software e comunicazioni.Competenze comportamentali:
Proattività; Capaci-
Ronchi dei Legionari, Friuli-Venezia Giulia, Italia Leonardo Worldwide Corporation Tempo pieno## Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formaliApplylocations: IT - Ronchi dei Legionaritime type: Full timeposted on: Posted Todayjob requisition id: R0027248**Job Description:**Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche...
-
Ronchi dei Legionari (GO), Provincia di Gorizia; Friuli-Venezia Giulia, Italia Leonardo Worldwide Corporation Tempo pieno# Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formaliApplylocations: IT - Ronchi dei Legionaritime type: Full timeposted on: Posted Todayjob requisition id: R0027248**Job Description:**Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche...
-
Modella/o Per Fitting
1 mese fa
Ronchi dei Legionari (GO), Provincia di Gorizia; Friuli-Venezia Giulia, Italia Leonardo Worldwide Corporation Tempo pienoTesi - UAS legacy: Verifica vulnerabilità tramite modelli formaliApplylocations: IT - Ronchi dei Legionaritime type: Full timeposted on: Posted Todayjob requisition id: R0027248**Job Description:**Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche...
-
Selezione Fotomodelle e Modelle
1 mese fa
Ronchi dei Legionari (GO), Provincia di Gorizia; Friuli-Venezia Giulia, Italia Leonardo Worldwide Corporation Tempo pienoTesi - UAS legacy: Verifica vulnerabilità tramite modelli formaliApplylocations: IT - Ronchi dei Legionaritime type: Full timeposted on: Posted Todayjob requisition id: R0027248**Job Description:**Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche...
-
Ronchi dei Legionari, Friuli-Venezia Giulia, Italia Leonardo Tempo pienoJob Description: Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell'Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche multidominio in ambito Elicotteri, Velivoli, Aerostrutture, Elettronica, Cyber Security e Spazio. Con oltre 60.00ati dipendenti nel mondo, l'azienda ha una solida presenza industriale in...
-
Ronchi dei Legionari, Gorizia, Italia Leonardo Worldwide Corporation Tempo pieno 8.928 € - 13.392 € Contratto## Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formaliApplylocations: IT - Ronchi dei Legionaritime type: Full timeposted on: Posted Todayjob requisition id: R0027248**Job Description:**Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità...
-
IT - Ronchi dei Legionari Leonardo Tempo pieno 2 € Tempo indeterminatoJob Description:Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche multidominio in ambito Elicotteri, Velivoli, Aerostrutture, Elettronica, Cyber Security e Spazio. Con oltre 60.000 dipendenti nel mondo, l’azienda ha una solida presenza industriale...