Viewing profile — mrnoone

You can have a look at this project that shows how with proper abstractions you can minimize unsafe Rust for low level firmware. Specifically look for page token, page allocator an…

I agree with your point, we need common abstractions across different TEE architectures! The CoVE specification addresses fragmentation in the RISC-V ecosystem by defining a unifie…

The CoVE specification defines a unified confidential computing architecture for RISC-V that scales across embedded, edge, and cloud use cases. The system designers select the appr…

There are two key differences: (1) ACE leverages hardware virtualization support, including an MMU, to enable confidential virtual machines. In contrast, Keystone is designed for s…

Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for emb…

Some other tool (Coq-based) to formally verify unsafe Rust https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev

This article simplifies the problem and commits factual errors. TPM is not HSM, not enclave, and it does not allow running arbitrary computation. TPM is a specification of a secure…

I recommend going through a course on the database scheme design.