Proofcraft recipient of Cyberagentur funding for verification of seL4 multikernel
Proofcraft, partnering with Kry10, is one of the 5 recipients of Germany’s
Cyberagentur’s Ecosystem trustworthy IT research program (ÖvIT).
Kry10 and Proofcraft partner to deliver dynamism, performance, and proof for
complex cyber-physical systems. The project will enable: over-the-air updates
using dynamic configurations; high performance using multiple cores; and high
security assurance using rigorous design and formal verification.
In particular, Proofcraft will extend the seL4 microkernel proofs to support a
static multikernel configuration, where applications can benefit from the use of
multiple CPU cores for performance, while at the kernel level a separate
instance of seL4 run on each core.
At ÖvIT kick-off meeting on January 20th, 2025, at Leopoldina National Academy
of Sciences in Halle (Saale) Germany, June Andronick presented Proofcraft’s
contribution to the program, together with Matthew Brecknell from Kry10, while
Boyd Multerer, CEO of Kry10, presented the vision for the whole project.