Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Analisi formale delle vulnerabilità di sicurezza nei sistemi e nelle reti industriali |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal analysis of security vulnerabilities in industrial systems and networks |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Systems design |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | - |
| Descrizione sintetica in italiano | implementazione di un Framework di analisi a tre livelli per la detection di attacchi a PLC di tipo Ladder Logic Bomb e Control Logic Injection Attack: (1) analisi statica per mezzo di algoritmi di machine learning, (2) verifica formale dei programmi segnalati come sospetti al primo passo, (3) analisi dinamica all'interno di un digital twin dei programmi verificati come malevoli al secondo passo. Caratterizzazione dei livelli di qualità (falsi positivi e negativi) dei tre sistemi di rilevazione. |
| Descrizione sintetica in inglese | implementation of a three-level analysis framework for the detection of PLC attacks of the families Ladder Logic Bomb and Control Logic Injection: (1) static analysis by means of machine learning algorithms, (2) formal verification of programs reported as suspicious in the first pass, (3) dynamic analysis within a digital twin of the programs verified as malicious in the second pass. Characterization of the quality levels (false positives and negatives) of the three detection systems. |
| Data del bando | 08/06/2023 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://bandi.unibo.it/ricerca/assegni-ricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| marco.prandini@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 25/07/2023 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |