Proofcraft

Proofcraft’s Chief Scientist Gerwin Klein presents the next 700 verified seL4 platforms at the #seL4 summit :) https://lnkd.in/ehuPtk_R

Proofcraft is proud to be sponsoring the 2025 #seL4 summit, to be held in Prague on Sep 3-5. https://lnkd.in/e8uKdJ8f

Proofcraft is celebrating its 4th year anniversary, still enjoying pushing the limits of verified software, with multiple multi-year projects started in the last year! https://lnkd.in/e3jwC5iN

Proofcraft is recipient of Cyberagentur funding for the verification of an seL4 static multikernel. Proofcraft, partnering with Kry10, is one of the 5 recipients of the new Ecosystem trustworthy IT research program (ÖvIT) program from Germany’s Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur). Presenting together with Matthew Brecknell and Boyd Multerer from Kry10 at last week's program kick-off meeting, June Andronick presented Proofcraft’s contribution to the program: the extension of the #seL4 microkernel proofs to support a static multikernel configuration. Read more: https://lnkd.in/gk3bKWXg

Ein Meilenstein für IT-Sicherheit in Deutschland: Vertragsunterzeichnung für das Forschungsprojekt „Ökosystem vertrauenswürdige IT“ (ÖvIT) Am 20. Januar 2025 hat die Agentur für Innovation in der Cybersicherheit GmbH (#Cyberagentur) in der Leopoldina in Halle (Saale) fünf Verträge mit nationalen und internationalen Unternehmen für das Forschungsprogramm „Ökosystem vertrauenswürdige IT“ (ÖvIT) unterzeichnet. Ziel des Programms ist es, IT-Sicherheit durch formale Verifikation auf ein neues Niveau zu heben. Dies ermöglicht es, die Abwesenheit von Sicherheitslücken mathematisch nachzuweisen und hochkomplexe Systeme sowie kritische Infrastrukturen besser abzusichern. Staatssekretär Dr. Markus Richter, Beauftragter der Bundesregierung für Informationstechnik, betonte in seiner Keynote: „Mit diesem Forschungsprogramm stärken wir die Position Deutschlands als Vorreiter in der Cybersicherheit und schaffen die Grundlage für technologische Souveränität.“ Das Forschungsprogramm verfolgt zwei zentrale Ansätze: Die Entwicklung neuer Werkzeuge und Methoden für formale Verifikation von Hard- und Software, die einfacher zugänglich und effizienter nutzbar sind. Der Aufbau eines internationalen Netzwerks aus Forschenden, Anbietern und Anwendern, um Wissen und Technologien rund um IT-Sicherheit voranzutreiben. Zu den Projektpartnern gehören sowohl nationale als auch internationale Institutionen, darunter renommierte Forschungsinstitute und Unternehmen, die sich auf die Lösung spezifischer Herausforderungen konzentrieren. Projekte wie „Formula-V“, „PROTECT“ und „Pistis-V“ stehen stellvertretend für diese innovativen Ansätze. Ein weiterer Aspekt ist die Unterstützung der Weiterentwicklung des Mikrokerns seL4, der als Open-Source-Basis für besonders sichere IT-Systeme dient. Dieser Ansatz unterstreicht die globale Relevanz von ÖvIT, da sowohl internationale Experten als auch Partner aus NATO-Staaten und befreundeten Nationen in die Projekte eingebunden sind. Das Forschungsprogramm wird mit einem Budget von 42 Millionen Euro über die nächsten vier Jahre finanziert. Es baut auf den Erkenntnissen von fünf Vorstudien auf, die den aktuellen Stand der Technik analysiert und Forschungsprioritäten definiert haben. Mit ÖvIT setzt die Cyberagentur ein starkes Zeichen für die Zukunft der IT-Sicherheit – für Deutschland und darüber hinaus. Weitere Informationen finden Sie in der Pressemitteilung: https://lnkd.in/etCXGy49 English Version: https://lnkd.in/epkHEQJC #ÖvIT #Cybersicherheit #FormaleVerifikation #Innovation #Forschung #ITSecurity

Welcome Cyberagentur, our newest Associate Member. Germany's Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) just joined the seL4 Foundation, coinciding with the launch of five projects in its research program on an “Ecosystem of formally verified IT – provable cybersecurity (EvIT)”. Two of the projects include work enhancing seL4, one by seL4 Foundation members Kry10 and Proofcraft, the other (PISTIs-V) by seL4 Foundation member UNSW Sydney and PlanV. https://lnkd.in/ePujBiiA https://lnkd.in/etCXGy49

Happy Holiday Season from Proofcraft! https://lnkd.in/eeJ7gisw

Proofcraft is part of DARPA's PROVERS program to reduce reliance on experts for #seL4 proofs. The PROVERS program from the US Defense Advanced Research Projects Agency (DARPA) is aiming at making formal methods accessible to non-experts, such as traditional software developers and systems engineers, while minimizing the impact on their existing processes and performance. Proofcraft is part of the program’s successful INSPECTA team, led by Darren Cofer from Collins Aerospace, with contributions from UNSW, DornerWorks, Carnegie Mellon University, The University of Kansas, and Kansas State University. As part of INSPECTA, Proofcraft will reduce the reliance on experts for #seL4 formal proofs in 3 ways: automated platform port verification, architecture-split of proofs, and completion of the MCS seL4 functional correctness proof. https://lnkd.in/eqp-m_sd