Pubblicità
Newsletter
PdM Talk
Podcast
Video
DARPA ha scelto Julia per verificare l’attendibilità del sistema operativo Android
DARPA – Defense Advanced Research Projects Agency, l’Agenzia USA che sovrintende i progetti strategici di sicurezza nazionale – ha scelto Julia, una piccola spinoff dell’Università di Verona incubata da M&A Partners Srl di Verona, per verificare l’attendibilità del sistema operativo Android. US Air Force, che ha affidato una commessa triennale a Julia, intende infatti adottare […]
DARPA – Defense Advanced Research Projects Agency, l’Agenzia USA che sovrintende i progetti strategici di sicurezza nazionale – ha scelto Julia, una piccola spinoff dell’Università di Verona incubata da M&A Partners Srl di Verona, per verificare l’attendibilità del sistema operativo Android.
US Air Force, che ha affidato una commessa triennale a Julia, intende infatti adottare il “dialetto” di Java per alcuni impieghi militari, ed a questo fine il team di alta ricerca e tecnico, che raggruppa alcuni tra i massimi esperti mondiali in materia ed è guidato dal main researcher e Presidente di Julia prof.Fausto Nicola Spoto, dovrà fornire un importante responso, circa la stabilità e non vulnerabilità del linguaggio di programmazione.
Il sistema di verifica sviluppato in Julia è infatti l’unico in grado di effettuare una analisi categorica dei programmi in java-android, applicando ad essi l’approccio semantico e statico; inoltre, non necessita del codice sorgente ma soltanto dell’eseguibile.
Esistono sì molti tools di verifica semantici e statici, ma che operano in altri linguaggi, mentre altri tools in java-android non sono semantici e statici e quindi non garantiscono risultati definitivi.
“Dopo avere messo a fuoco le potenzialità del mercato – spiega Paolo Fiorini di M&A Partners che è anche AD di Julia – abbiamo costituito un team societario composto sia da ricercatori che da imprenditori; del team fa parte il responsabile scientifico di Julia, prof.Roberto Giacobazzi, che è insignito in questo momento del Software Engineering Innovation Foundation Awards di Microsoft Research, per le competenze in materia di Abstract Interpretation of Self-Modifying Code, che è alla base del progetto Julia.”
La piccola entità sta ora affacciando le prime collaborazioni sul mercato degli ambienti critici, finance, security ecc.
http://www.juliasoft.com
US Air Force, che ha affidato una commessa triennale a Julia, intende infatti adottare il “dialetto” di Java per alcuni impieghi militari, ed a questo fine il team di alta ricerca e tecnico, che raggruppa alcuni tra i massimi esperti mondiali in materia ed è guidato dal main researcher e Presidente di Julia prof.Fausto Nicola Spoto, dovrà fornire un importante responso, circa la stabilità e non vulnerabilità del linguaggio di programmazione.
Il sistema di verifica sviluppato in Julia è infatti l’unico in grado di effettuare una analisi categorica dei programmi in java-android, applicando ad essi l’approccio semantico e statico; inoltre, non necessita del codice sorgente ma soltanto dell’eseguibile.
Esistono sì molti tools di verifica semantici e statici, ma che operano in altri linguaggi, mentre altri tools in java-android non sono semantici e statici e quindi non garantiscono risultati definitivi.
“Dopo avere messo a fuoco le potenzialità del mercato – spiega Paolo Fiorini di M&A Partners che è anche AD di Julia – abbiamo costituito un team societario composto sia da ricercatori che da imprenditori; del team fa parte il responsabile scientifico di Julia, prof.Roberto Giacobazzi, che è insignito in questo momento del Software Engineering Innovation Foundation Awards di Microsoft Research, per le competenze in materia di Abstract Interpretation of Self-Modifying Code, che è alla base del progetto Julia.”
La piccola entità sta ora affacciando le prime collaborazioni sul mercato degli ambienti critici, finance, security ecc.
http://www.juliasoft.comCategoria: Fabbrica
Articoli correlati
Tecnologia. Persone. Macchine.
Guardare oltre l’orizzonte verso una nuova frontiera
La sempre maggiore diffusione delle comunicazioni machine-to-machine, della robotica, dei…
Cybersecurity in fabbrica, orientarsi tra standard e linee guida
Nell’ultimo decennio si è affermata una nuova era industriale, nota con il termine Industrial Internet of Things (IIoT), in cui le aziende,…
La tecnologia passa, la sicurezza resta
La sicurezza, qualora venga meno, è in grado di mettere seriamente a repentaglio un’impresa.
Lo sa bene Security Trust, azienda che dal 2001…
Commvault GO 2016, proteggere i dati e trasformarli in informazioni
Ricavare preziose informazioni dai dati e risolvere le sfide legate alla gestione dei big data. È questo uno degli obiettivi di Commvault GO…
