islet

islet copied to clipboard

zpzigi754

bitboom

Add Cargo.lock for dependency consistency

2

This commit adds the Cargo.lock file to ensure that the exact versions of dependencies are locked down across all environments. This is crucial for maintaining consistent behavior of our application...

bitboom

bitboom

  | ACS TEST SUIT | PASS/FAIL |   -- | -- | -- | -- 1 | cmd_rmi_version | O |   2 | cmd_granule_delegate | O |   3 | cmd_granule_undelegate |...

bokdeuk-jeong

Currently autopadding cannot cover struct type with a field in the struct below: ``` pad_struct_and_impl_default!( pub struct Run { 0x0 entry: Entry, 0x800 exit: Exit, } ); ```

bitboom

Failed to reproduce confidential-ml example

1

error log (when trying to run the certifier service) ``` $ ./run.sh x86_64 193.168.10.15 .... VerifySignedClaim: Time violation Can't verifiy signature ``` reported from Guan, Mingyu/[email protected]

jinbpark

Islet-cli segfaults, when launched from /shared folder with rmm=islet

11

When islet-cli, or even independently built rsictl, is launched from /shared folder, both clients either segfault (islet-cli) or return error (rsictl) when parsing token. This concerns both attestation retrieval (using...

zos

Rename branches with suitable spec version

2

Currently, we use `3rd-project-name` as submodule's branch name (e.g., `3rd-nw-linux`), and most of them assume using beta0 of cca spec. I think that we should change 3rd-party branch's name to...

zpzigi754

The list of code patterns where verification does not work well

1

The below will summarize the code patterns which are not supported by formal verification tools. [KLEE] ``` lazy_static: causes abort in klee processing extern "C" fn: causes abort in klee...

zpzigi754