In dit nieuwsoverzicht: Nederlandse politie ontmantelt infrastructuur achter drie malwarecampagnes, EU eist verantwoording van IBM, Atos en Leonardo over vertraagd grenssysteem, ai-agenten bewijzen wiskundig veiligheid cryptografische Signal-software, IBM en Microsoft willen bedrijfsprocessen transformeren met ai-agenten, en Microsoft onderscheidt Axians voor internationale systeemintegratie.
Politie haalt honderd servers offline in internationale cyberactie
De Nederlandse politie heeft in een internationale actie tegen cybercriminaliteit honderd servers uitgeschakeld die werden gebruikt voor de verspreiding van malware. Dat meldt het AD.
Wereldwijd zijn daarbij ruim 6,4 miljoen gestolen gegevens veiliggesteld, aldus de politie. Veertien Nederlandse servers maakten deel uit van het netwerk achter Gootloader. Via besmette websites probeerden criminelen computers van bezoekers met malware te infecteren. Zes andere servers werden gebruikt voor CastleRAT, software waarmee aanvallers computers op afstand kunnen overnemen. Daarnaast is het netwerk achter de malware StealC aangepakt. Wereldwijd werden hiervoor 102 servers uitgeschakeld, waarvan tachtig door de Nederlandse politie. Met deze software stelen criminelen onder meer inloggegevens en andere gevoelige informatie.
EU klaagt IBM, Atos en Leonardo aan om vertraagd grenssysteem
EU-agentschap EU-Lisa heeft IBM, Atos en het Italiaanse technologieconcern Leonardo ter verantwoording geroepen vanwege de jarenlange vertraging bij de invoering van het Europese Entry/Exit System (EES). Dat meldt de Financial Times.
Het systeem, dat biometrische gegevens zoals vingerafdrukken en gezichtsscans van reizigers van buiten het Schengengebied registreert, had in 2022 operationeel moeten zijn. De daadwerkelijke invoering volgde pas dit jaar. Volgens de zakenkrant, die correspondentie tussen de betrokken partijen heeft ingezien, ontstond onenigheid over boetes en de verantwoordelijkheid voor het uitstel. De bedrijven wezen onder meer op de gevolgen van de coronapandemie en verweten EU-Lisa een onrealistische planning. De invoering kostte bovendien minstens negentig miljoen euro meer dan begroot. De drie bedrijven zijn inmiddels niet meer bij EES betrokken.
Google DeepMind laat ai Signal-code wiskundig beveiligen
Google DeepMind heeft met een nieuw ai-systeem, genaamd AlphaProof Code, de cryptografische software achter berichtenapp Signal formeel geverifieerd. Onderzoekers bewezen wiskundig dat cruciale beveiligingseigenschappen ook in de daadwerkelijk uitgevoerde programmacode zijn gewaarborgd. Dat betekent dat de onderzochte cryptografische code voldoet aan een aantal vooraf vastgelegde beveiligingseisen. Het wil evenwel niet zeggen dat de volledige Signal-app foutloos of onkwetsbaar is.
AlphaProof Code combineert menselijke expertise met meerdere ai-agenten. Onderzoekers vertaalden de beveiligingsdoelen naar wiskundige specificaties, waarna ai-agenten met behulp van het programmeersysteem Lean ruim zes miljoen regels bewijs genereerden. De controle nam vier weken in beslag. Menselijke experts hoefden uiteindelijk slechts één procent van de gegenereerde code nader te beoordelen. Om de methode te testen, brachten de onderzoekers twee eerder verholpen softwarefouten terug in een geïsoleerde versie van Signal. Het systeem herkende beide als beveiligingsproblemen. DeepMind, de Britse ai-onderzoeksorganisatie van Google, stelt de verificatiebestanden beschikbaar als opensource.
IBM en Microsoft lanceren platform voor zakelijke ai-agenten
IBM en Microsoft introduceren Imagine Enterprise, een platform waarmee bedrijven ai-agenten kunnen ontwikkelen, inzetten en beheren voor branchespecifieke bedrijfsprocessen. IBM Consulting brengt daarvoor meer dan zesduizend bestaande ai-agenten en toepassingen in, terwijl Microsoft de cloud-, data-, ai- en beveiligingstechnologie levert.
Het platform richt zich op financiële dienstverlening, verzekeringen en retail. Later volgen sectoren als industrie, energie en overheid. Met ondersteuning van gespecialiseerde engineers van beide bedrijven willen IBM en Microsoft organisaties helpen ai-toepassingen sneller van experiment naar productie te brengen.
Imagine Enterprise is te koppelen aan bestaande bedrijfsdata, systemen en processen. Microsoft-technologieën als Azure, Microsoft Foundry en Copilot Studio vormen de bouwstenen. IBM Consulting levert hulpmiddelen voor het ontwerpen en beheren van ai-agenten.
Microsoft bekroont Axians voor cloud- en ai-integratie in EMEA
Axians heeft de Microsoft Partner of the Year Award 2026 gewonnen in de categorie SME&C System Integrators voor Europa, het Midden-Oosten en Afrika (EMEA). De onderscheiding is een erkenning voor de internationale samenwerking met Microsoft en de toepassing van cloud-, data- en ai-technologie bij klanten.
Microsoft beoordeelt partners op innovatie, schaalbaarheid en aantoonbare klantresultaten. Daarbij tellen de inzet van cloud en ai, managed services, kennisontwikkeling en samenwerking met lokale Microsoft-teams mee. Axians, onderdeel van de internationale technische dienstverlener Vinci Energies, combineert Microsoft-technologie met sectorkennis en eigen oplossingen. Voorbeelden zijn het dataplatform Maestro, gebaseerd op Microsoft Fabric en Azure, en Spaces, een beheerde digitale werkplek op basis van Microsoft 365.
