Code

Sgx properties#229

Code

Merged

yelvmw merged 26 commits intomainccc-certifier-framework/certifier-framework-for-confidential-computing:mainfrom sgx-propertiesccc-certifier-framework/certifier-framework-for-confidential-computing:sgx-propertiesCopy head branch name to clipboardDec 4, 2023

+927-89

Commits

Commits on Nov 13, 2023

• Descrription of the sgx flags (yuck!).

  jlmucb

  committed
  7ac31cf

Commits on Nov 14, 2023

• Sgx platform test jig in certlib

  jlmucb

  committed
  7800f70

• Test properties

  jlmucb

  committed
  e658d8c

• platform properties for sgx

  jlmucb

  committed
  4449ccc

• more tests

  jlmucb

  committed
  fc85ac3

• ConstructExtendedGramineClaim done

  jlmucb

  committed
  899d644

• go format

  jlmucb

  committed
  5d3d313

• Extended Gramine placeholders

  jlmucb

  committed
  99bce53

• more on proofs

  jlmucb

  committed
  e894329

• GramineExtendedProof

  jlmucb

  committed
  6239046

Commits on Nov 15, 2023

• Proofs done only need filter

  jlmucb

  committed
  f360fe3

• proof test

  jlmucb

  committed
  ff0118b

• Constructed proof succeds for ExtendedGramine

  jlmucb

  committed
  cc93687

• PlatformFeatures

  jlmucb

  committed
  5e50b50

• proof and filter

  jlmucb

  committed
  db5beb7

• Format

  jlmucb

  committed
  c44a68f

Commits on Nov 16, 2023

• a few fixes

  jlmucb

  committed
  a64fe87

• Filter test jig

  jlmucb

  committed
  a06c632

• FilterExtendedGramineEvidence

  jlmucb

  committed
  5290170

• script for extended policy

  jlmucb

  committed
  72cb514

Commits on Nov 18, 2023

• Fixed expected "alreadyProved" for ConstructProofFromExtendedGramine

  jlmucb

  committed
  0b4ad90

Commits on Nov 19, 2023

• Sgx properties works

  jlmucb

  committed
  feeafb5

Commits on Nov 28, 2023

• Comment to fix default if property is not in rule

  jlmucb

  committed
  53c82d8

• small change

  jlmucb

  committed
  04c43c7

Commits on Dec 4, 2023

• Update certifier service SGX policy evaluation

  Show description for a4baa63
  yelvmw

  committed
  a4baa63

• Go format fix.

  yelvmw

  committed
  45b9972