GNU Mes RISC-V
Bringing the trustworthy bootstrap to RISC-V
ProjectID
GNUMes-RISCV
Acronym
GNUMes-RISCV
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Operating systems, firmware and virtualisationSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Toward a Fully-Verified SCION Router
Formal verification of the reference open source SCION Router
Deployment and Evaluation of the SCION Secure Internet Architecture on Fed4FIRE+ Testbeds
The SCION secure Next-Generation Internet (NGI) architecture has reached a level of maturity, which renders it ready today for large-scale...
Discover and move your coins by yourself
A safe way to explore and work with cryptocurrency forks
Software vulnerability discovery
Automating discovery of software update and vulnerabilities
