Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche avanzate per la verifica e la corretta esecuzione di bytecode su una Java Card |
|---|---|
| Titolo del progetto di ricerca in inglese | Advanced techniques for verifying and correctly executing bytecode on a Java Card Virtual |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La tecnologia Java per le carte bancarie e telefoniche impone un alto livello di sicurezza per le realizzazioni delle Java Card Virtual Machine(JCVM).Le principali tecniche che mirano ad ottenere l'esecuzione sicura sono la verifica del bytecode delle applicazioni, che evita l’esecuzione di bytecode malizioso o errato, ed il controllo degli accessi a memoria e sistema operativo durante l'esecuzione. La ricerca studierà realizzazioni, adattamenti ed ottimizzazioni di tecniche di verifica bytecode e di controllo di accessi in modo da permetterne l’inclusione su JCVM. Tali obiettivi dovranno tener conto delle limitate quantità di memoria e delle ridotte capacità di elaborazione tipiche della JCVM. La ricerca mirerà inoltre a valutare la correttezza della realizzazione della JCVM. L’uso di tecniche avanzate di programmazione ad aspetti, che forniscono alta modularità, faciliterà la valutazione della correttezza della JCVM e delle tecniche di sicurezza realizzate |
| Descrizione sintetica in inglese | Using Java technology for bank and phone cards forces a high level of security for the implemented Java Card Virtual Machine (JCVM). The main techniques that aim at achieving security in the execution are the bytecode verification of applications, which avoids the execution of malicious or malformed bytecode, memory access control, and sandboxing the execution, so as to avoid direct access to the operating system. The research activity will aim at realizing, adapting and optimizing techniques for verifying the bytecode and for access control, in order to be able to embed these into a JCVM. Such aims have to take into account the limited amount of memory and computational power available in a JCVM. Moreover, research activities will aim at assessing the correct implementation of a JCVM. By using the advanced techniques of aspect-oriented programming, which provide high modularity, the assessment of correctness of the JCVM and the security techniques will be facilitated |
| Data del bando | 13/07/2012 |
| 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 |
All |
| Sito web del bando | http://151.97.1.4/unictnet/Pagina/Portale/Home/Canali_informativi/Bandi/0/archivio/2012/08/06/10515_.aspx |
| 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 | 06/08/2012 |
|---|---|
| Come candidarsi | Other |