Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Da contratti comportamentali a smart contracts. |
|---|---|
| Titolo del progetto di ricerca in inglese | From behavioural contracts to smart contracts. |
| Campo principale della ricerca | Information science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto riguarda lo studio teorico e e l'applicazione dei contratti comportamentali e degli smart contracts. I contratti comportamentali descrivono formalmente l'aspetti dinamici di un programma o servizio, e sono usati - ad esempio - per disciplinare l'interazione tra componenti inaffidabili in reti aperte, e per verificare la conformità di un componente rispetto ad una data specifica o protocollo. Gli smart contracts sono programmi eseguiti da reti decentralizzate, che ne garantiscono la corretta esecuzione anche in caso di comportamento malevolo di una parte non maggioritaria di nodi della rete. La ricerca mira a estendere agli smart contracts le tecniche di modellazione e di analisi sviluppate per i contratti comportamentali, in particolare quelle sui session types. |
| Descrizione sintetica in inglese | The project concerns the theoretical study and the application of behavioural contracts and of smart contracts. Behavioural contracts formally describe the dynamic aspects of a program or service, and they are used - for instance - to discipline the interaction among mutually distrusted components of an open network, and to verify the conformance between a component and a given specification or protocol. Smart contracts are programs executed by a decentralized network, which guarantees their correct execution also in the presence of a minority of adversarial nodes in the network. The research aims at extending to smart contracts the modelling and analysis techniques developed for behavioural contracts, in particular those for session types. |
| Data del bando | 30/05/2016 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://dirpersonale.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | RAS - PIA 2013 |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.regione.sardegna.it |
| gmpinna@unica.it | |
| Telefono | 00393280089421 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/06/2016 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |