Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche per scoprire proprietà di applicazioni per Java Card e generazione di test tramite sistemi paralleli e distribuiti |
|---|---|
| Titolo del progetto di ricerca in inglese | Techniques to discover properties of Java Card applications and to generate tests by means of parallel and distributed systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La Java Card Virtual Machine è un esecutore di codice Java utilizzato su smart card. In tali dispositivi, applicazioni malevole mirano a rilasciare dati riservati o ad eseguire operazioni che non dovrebbero essere ammesse. La ricerca mirerà d un approccio per rappresentare efficacemente un’applicazione per JCVM, al fine di scoprirne varie proprietà. Si costruiranno modelli di applicazioni, e si utilizzeranno esempi di applicazioni, sia malevole che non, per caratterizzare le proprietà dei modelli e rivelare le parti di un’applicazione che costituiscono codice malevolo. L’analisi delle proprietà dei modelli, basati su grafi, e rappresentanti esempi di applicazioni, si servirà di algoritmi paralleli, distribuiti ed efficienti per far sì che centinaia di migliaia di potenziali nodi possano essere analizzati in tempi ragionevoli. Le proprietà delle applicazioni malevole, potranno esser usate per analisi di robustezza e per generare casi di test che possano esercitare la JCVM |
| Descrizione sintetica in inglese | Java Card Virtual Machine executes Java code on devices called smart cards. In such devices, malicious applications aim at releasing confidential data or perform operations that should not be enabled. Research will aim to an approach for effectively represent a JCVM application, in order to find several of its properties. Models of applications will be derived and examples of applications, whether malicious or not, with the aim to characterize the properties of the models and reveal parts of an application that are malicious code. The analysis of the properties of the models, based on graphs, and representing examples of applications, will make use of parallel, distributed and efficient algorithms so that hundreds of thousands of potential nodes can be analyzed in reasonable time. The properties of malicious applications, revealed from the above analysis, can be used for analyzing the robustness and for generating test cases that can exercise the JCVM |
| Data del bando | 30/05/2013 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unict.it/content/bando-550 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367.00 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | Sono ammessi i dottori di ricerca, i titolari di un diploma di scuola di specializzazione, i soggetti in possesso da almeno 3 anni di laurea specialistica o magistrale ovvero di diploma di laurea secondo il V.O., con curriculum scientifico. Non possono partecipare coloro che abbiano un grado di parentela o di affinità, fino al quarto grado compreso, con professore appartenente al dipartimento che ha deliberato il programma di ricerca, ovvero con il Rettore, o un componente del C d A dell’Ateneo. I requisiti devono essere posseduti alla data di scadenza del termine utile per la presentazione della domanda. I candidati sono ammessi con riserva. L’Amministrazione può disporre, in ogni momento, con provvedimento motivato, l’esclusione dalle pubbliche selezioni per difetto dei requisiti prescritti |
| Processo di selezione in italiano (breve descrizione) | La selezione è per titoli e per colloquio sulla base dei seguenti criteri: valutazione dei titoli fino ad un massimo di 60 punti e 40 punti per il colloquio. Per essere ammessi al colloquio i candidati dovranno conseguire una valutazione titoli non inferiore a 30 punti . La valutazione dei titoli precede il colloquio e sarà resa nota mediante pubblicazione sul sito web del dipartimento interessato. La data del colloquio sarà comunicata ai candidati ammessi con raccomandata A.R. Al termine del colloquio, la Commissione forma l’elenco dei candidati, con l’indicazione del voto riportato. L’elenco verrà affisso presso la sede degli esami. La mancata presentazione al colloquio sarà considerata come rinuncia alla selezione, quale ne sia la causa. La votazione complessiva, per ciascun candidato,è determinata dalla somma dei punteggi ottenuti.La Commissione formula la graduatoria dei candidati che abbiano conseguito una votazione complessiva di almeno 70punti e a individuare il vincitore |
| Nome dell'Ente finanziatore | Università degli Studi di Catania |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Catania |
| Codice postale | 95131 |
| Indirizzo | Piazza Università n.2 |
| Sito web | http://www.unict.it |
| tramonta@dmi.unict.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/06/2013 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |