Subscribe to our Newsletter

Runtime NixOS Closure Verification

Website

Website not available yet

Ensure whole-system security with verified boot for NixOS configurations

ProjectID

NixOS-verifiedboot

Acronym

NixOS-verifiedboot

Additional Info

Not available yet

Enduser Relevance

Not available yet

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country: 

Status: Early research demo

Category: Operating systems, firmware and virtualisationSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs

check other similar innovations
Skip to content