We're proud to be recognized by Wavestone on their 2025 Radar of French Cybersecurity Startups.

This recognition is a significant milestone that validates our core mission: building the essential developer tools for creating high-assurance software and formally verified cryptography. Making provably secure software accessible to all developers.

Full report (French): https://www.wavestone.com/fr/insight/radar-des-startups-cybersecurite-francaises-2025/

#Cybersecurity #Startup #DeepTech #DeveloperTools #FormalVerification #Cryptography #HighAssurance

Confidential computing for high-assurance RISC-V embedded systems

https://github.com/IBM/ACE-RISCV

#HackerNews #ConfidentialComputing #RISC-V #EmbeddedSystems #HighAssurance #CyberSecurity #IBMACE

Rust identifiers, demystified! We're revealing our analysis toolchain's secrets in our latest blog. Discover how we tackle global vs. local identifiers for better formal verification with hax.

Read the full story: https://hax.cryspen.com/blog/2025/04/01/redesigning-global-identifiers-in-hax/

#RustLang #CodeAnalysis #HighAssurance

Mission-critical systems require high-assurance solutions that enable a new level of advanced security against emerging threats for today's warfighter.

Without foundational security and verified correct operation, mission and safety-critical applications can be put at great risk. Enhancing warfighter capabilities and security is key.

Tune in to this webcast of industry experts and learn how the combination of the seL4 microkernel and DO-178C design assurance level A (DAL-A) enables robust security and verified correct operation for mission critical applications.

Developers will learn how to leverage these key technologies to ensure a safe and secure system design, with enhanced performance and flexibility.

Register now and save your spot!

https://resources.embeddedcomputing.com/Embedded-Computing-Design/Mission-Critical-Systems?utm_bmcr_source=dw

#MissionCritical #Security #Webcast #HighAssurance #Innovation

"Join us at the upcoming Army Aviation Mission Solutions Summit (Quad A) in Nashville, Tennessee from April 26-28, where we will be exhibiting at the Army Aviation booth!

Our team is excited to showcase our high-assurance architecture solution that runs containers with seL4 virtualization, which can increase cyber-resilience for aerospace and defense markets.

DornerWorks high-assurance architecture of seL4 virtualization integrated with Containers enables enhanced security via strict separation of applications and DevSecOps enablement to respond to evolving threats, and ensures the integrity of the system with the seL4 microkernel. The integration of high-assurance containers with seL4 virtualization improves system performance by enabling applications to share system resources more efficiently.

Come meet us at Quad-A to see this demo in action and learn how it can benefit avionics systems, military applications, and ground vehicles, helping keep modern warfighters safer. #containers #virtualization #highassurance #aerospace #defense #QuadA #militaryapplication

https://dornerworks.com/blog/high-assurance-containers-sel4-virtualization/

Ready to start innovating with high assurance embedded virtualization? Look no further than DornerWorks' seL4-based distributions!

Choose from several popular options, including our Avnet Ultra96 and AMD ZCU102 dev board configurations, and receive software binaries and instructions within weeks.

With no licensing fees and total freedom to use these binaries as you see fit, you'll have the flexibility to create the perfect configuration for your product.

Don't see what you need? Our custom distribution option and VM Composer tool can help. Get started today!

#seL4 #highassurance #virtualization #embedded #innovation

https://dornerworks.com/solutions/embedded-virtualization/sel4-microkernel/configurations/

RT from DornerWorks (@DornerWorks)

We booted up a seL4 system up on #RISCV cores running on @MicrochipTech's #PolarFireSoC Icicle Kit.

This opens up a new horizon of development potential for #aerospace, #defense, #industrial & #medical innovation.

Here's how it works.

#RISCV #seL4 #PolarFire #HighAssurance

[Video embedded in original tweet]

Original tweet : https://twitter.com/DornerWorks/status/1555239693272465409