Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | DeLiCE: registri decentralizzati per l'economia circolare |
|---|---|
| Titolo del progetto di ricerca in inglese | DeLiCE: Decentralized Ledgers in Circular Economy |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto combina tecniche di metodi formali per sviluppare protocolli dimostrabilmente corretti per la finanza decentralizzata, con applicazione all'economia circolare. Il primo obiettivo è un modello eseguibile formale di protocolli decentralizzati, e uno studio teorico delle loro proprietà. Basandoci su questo modello, il secondo obiettivo è un toolkit per rilevare potenziali vulnerabilità di sicurezza nei protocolli decentralizzati prima del deployment. Il progetto validerà la teoria e il toolkit di analisi attraverso una caso d'uso reale di economia circolare. |
| Descrizione sintetica in inglese | The project combines Formal Methods techniques to develop provably correct protocols for Decentralized Finance, with applications to circular economy. Our first objective is a formal, executable model of decentralized protocols, and a theoretical study of their properties. Based on this model, the second objective is a toolkit to detect potential flaws in decentralized protocols before deployment. We validate our theory and analysis toolkit through a real-world circular economy use case. |
| Data del bando | 20/12/2023 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://dirpersonale.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università di Cagliari |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.unica.it |
| massimo.bartoletti@unica.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/01/2024 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |