Security with Proof
Hackers are prevented from taking over unmanned drones thanks to the advanced security guaranteed by the seL4 microkernel.
Improve your security story with the same mathematical proof.
Schedule a consultation
Secure your Products
Save Money
Develop with Confidence
Are you willing to risk your business and your clients on poor security?
You don’t have to look far to find the words “data breach” or “cyber attack” in the news. But, with a robust security solution, you can make sure your name isn’t attached to it.
The seL4 microkernel is a cost-effective, open source solution you can use to build advanced levels of security into your products. It’s innovative partitioning and isolation capabilities are backed by mathematical proof, which means hackers aren’t just slowed down. They’re powerless.
DornerWorks provides seL4 development services
Implementation is simple, and add-on modules customize seL4 to your security needs.
Thwart hackers
The seL4 spec and binary satisfy the classic security properties of integrity and confidentiality.
Reduce Costs
seL4 is open source, which means it’s free to download and use.
Restore Confidence
seL4’s security is mathematically proven, and supported by a growing ecosystem of developers
“I am fortunate to work with DornerWorks as a strong systems solution partner
supporting our customers across so many disparate system architectures
and technical challenges.“
Senior Project Manager
We know you care about the security of your products — We do, too.
You can download the seL4 source code and tools here. But, before you dive in, watch our Introduction to seL4 webinar and join our LinkedIn group to learn more!
JOIN THE LINKEDIN GROUP
Find the security solution that fits your needs.
GET STARTED QUICKLY
seL4 Quick Start Package
Get your products up and running on a secure platform with a 2-day training workshop and pilot projects to help you understand how to apply seL4 across your system.
TAME COMPLEXITY
Linux VM running on seL4
Leverage the security of seL4 without having to master its complexities.
CUSTOMIZE YOUR SYSTEM
seL4 Add-Ons
If you are already building products with seL4, these add-ons will help you add innovative capabilities and greater customization.
Getting started is simple.
Kickstart your development, lower barriers to success, and build secure products.
seL4 has already been proven correct, so you don’t have to do the extreme math yourself. DornerWorks will help you integrate seL4 into your application and fill in the gaps to enhance your security story.
What is seL4?
- World’s first formal proof of correctness of a separation microkernel
- Formal, machine-checked verification by NICTA provides proof that…
- Source code satisfies specification (written in Haskell)
- Object code conforms to source code
- Security properties (e.g., kernel will never crash, nor hang)
- http://web1.cs.columbia.edu/~junfeng/09fa-e6998/papers/sel4.pdf
- Formal, machine-checked verification by NICTA provides proof that…
- Very small footprint
- 8,700 lines of C code and 600 lines of assembler
- Member of the L4 family of high-performance microkernels
- Hardware support: x86, ARMv6, ARMv7, RISC-V
- Virtualization mode
- Very limited features (purposely)
- Many typical OS features delegated to user-mode applications (granted privilege via passed capabilities)
- Device drivers, memory management, network protocol stack, file system
- Many typical OS features delegated to user-mode applications (granted privilege via passed capabilities)
Build secure products with the seL4 microkernel
Developing systems using the seL4 microkernel can be complicated. We can guide you through it, but if you’re not ready to call us for a consultation, you can still take advantage of this free series.
DornerWorks engineers will walk you through implementing seL4 on verified hardware platforms and improving your company’s security story.
- Download the seL4 source code and development tools
- Use seL4 to build an HTTP web page
- Port seL4 to a Xilinx MPSoC
- And more
Fill out this short form and receive your first download immediately.
You shouldn’t have to be an expert in everything.
You have a great product, but there’s so much to do that you can’t focus on your customers and your core expertise.
We’re here to help.
We’ve developed hundreds of projects for lots of customers. When you create your product with us, your product will stand out in the market, and better yet–you will be able to focus on what’s most important.
Schedule a discussion
From Facebook...
From Twitter...
From Linkedin...
From Google+...
Visit us on Google +Our Blog...