Data61 abandonne l’équipe de sécurité de classe mondiale SEL4
Le leader mondial L’équipe de recherche australienne qui a développé le micro-noyau extrêmement difficile à pirater seL4 a été dissoute par le CSIRO, le personnel devant être transféré vers des projets d’IA ou licencié dans le cadre d’une restructuration de Data61.
Le travail se poursuivra sur le projet par le biais d’une fondation seL4 indépendante créée l’année dernière, mais les personnes impliquées disent qu’il sera beaucoup plus difficile d’attirer des financements et que des talents de premier plan seront perdus.
Les changements font partie d’une restructuration du bras numérique Data61 du CSIRO, qui entraînera la perte de 70 postes. L’agence a déclaré que différents postes étaient créés conformément à la nouvelle stratégie du CSIRO construite autour de l’IA, mais il faudra deux ans pour que les effectifs reviennent aux niveaux actuels.
InnovationAus comprend que le personnel du CSIRO a été informé par la direction lors d’une réunion mercredi que le groupe seL4 connu sous le nom de Trustworthy Systems ne correspond plus à la stratégie de l’agence et serait dissous.
La décision de supprimer seL4, qui a vu son équipe réduite au cours de l’année dernière, a été révélée vendredi sur Twitter par le professeur scientifique de l’UNSW, le Dr Gernot Heiser.
Le Dr Heiser a contribué au développement de seL4 et reste impliqué dans les travaux grâce à un projet de recherche en collaboration entre le CSIRO et l’UNSW.
«Voici un actif de classe mondiale et de premier plan absolument reconnu, unique dans sa composition, ses antécédents et sa capacité à effectuer des recherches exceptionnelles, qui est abandonné et détruit», a-t-il déclaré à InnovationAus.
Le micro-noyau seL4 permet une séparation à toute épreuve entre les systèmes logiciels afin que les pirates ne puissent pas accéder aux parties critiques du système d’exploitation en entrant par une trappe mal protégée.
Il prétend être le noyau de système d’exploitation le plus sûr au monde.
«Nous avons changé la notion du possible et avons vraiment montré au monde que vous pouvez former la preuve des systèmes du monde réel correct», a déclaré le Dr Heiser.
«Nous avons fait des choses que personne d’autre ne pouvait faire, et personne d’autre ne pensait même possible. Ce genre de chose unique va être détruit, c’est sûr.
Un porte-parole du CSIRO a confirmé que l’agence ne soutiendra plus Trustworthy Systems et se concentrera sur la cybersécurité et les domaines émergents tels que «Trustworthy AI».
«Le groupe Trustworthy Systems se concentre sur le domaine des méthodes formelles de conception, de mise en œuvre et de vérification des systèmes logiciels», a déclaré le porte-parole.
«C’est un domaine technologique mature dans lequel le CSIRO a investi pendant un certain nombre d’années et qui est maintenant bien soutenu en dehors de l’organisation.»
Le CSIRO s’est concentré sur l’intelligence artificielle, avec un nouveau financement gouvernemental de 124 millions de dollars pour la technologie annoncé dans le budget de la semaine dernière.
«Ils ont décidé que nous ne correspondions pas à ça [AI strategy]», A déclaré le Dr Heiser.
«Bien sûr, nous ne sommes pas IA. Si vous décidez que l’IA est tout ce que vous voulez faire, alors nous sommes excédentaires par rapport aux besoins. »
L’intelligence artificielle de l’agence scientifique est «ahurissante et étrange», a déclaré le Dr Heiser, compte tenu de l’exode des principaux chercheurs australiens en IA, dont beaucoup partent pour un secteur privé beaucoup plus lucratif dirigé par Big Tech.
Il craint que des chercheurs australiens de premier plan en sécurité ne soient expulsés du secteur de la recherche local.
L’année dernière, le groupe Trusted Systems a créé une fondation seL4 sous la Linux Foundation pour poursuivre le développement et attirer des financements de l’industrie. La fondation compte déjà des membres actifs et un certain soutien de l’industrie, mais la décision du CSIRO d’abandonner le projet est un énorme revers.
La professeure agrégée de l’Université nationale australienne, Vanessa Teague, a déclaré que la décision de dissoudre les principaux groupes de recherche sur la sécurité au monde était difficile à entendre.
«Je suis juste heureux que Gernot ait eu la clairvoyance de créer une fondation indépendante», a déclaré le Dr Teague à InnovationAus.
«La fondation signifie que seL4 peut continuer à apporter des contributions profondes et utiles à la cybersécurité, sans dépendre des aléas du financement gouvernemental.»
Le CSIRO a déclaré que dans le cadre de sa nouvelle stratégie, les investissements sont dirigés vers l’IA, la science et la technologie numériques dans le cadre de la récupération du COVID en Australie, et « réinventer la façon dont la science est faite en utilisant le numérique pour révolutionner l’avenir de la découverte scientifique ».
À la suite des changements, l’agence prévoit de créer une centaine de postes, dont 30 post-doctorants, mais plusieurs travailleurs de Data61 perdront leur poste actuel.
«À court terme, jusqu’à 70 personnes dans Data61, y compris le personnel indéfini et les fins de mandat, seront potentiellement affectées, mais le nombre sera probablement moindre alors que nous travaillons à redéployer les personnes dans toute l’organisation», a déclaré un porte-parole du CSIRO.
«D’ici deux ans, compte tenu des nouveaux postes, nous prévoyons que les effectifs seront à des niveaux similaires à ceux d’aujourd’hui.»
Vous en savez plus? Contactez James Riley par e-mail ou par signal.