View all solutions

x86-64 VM Monitor for seL4 verified microkernel

The security of any software system depends on its underlying Operating System (OS). However, even OSes such as Qubes, which are "reasonably secure" depend on large trusted computing

More

ProjectID

seL4-64bitVMM

acronym

seL4-64bitVMM

additional Info

Resources
Source code
https://github.com/seL4/seL4

Enduser Relevance

How can you understand and trust a complex system, like the operating system managing the hardware and software on your computer? You can make the complexity simpler by cutting it up

More

contact

https://nlnet.nl/contact/

endorsements

Not available yet

disclaimer

Country:  CH

Keywords: FormalVerificationVirtualisation

Status: 

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs

check other similar solutions