Christoph M. Wintersteiger
Christoph M. Wintersteiger
We currently make extensive use of SHA256, which is hard-coded in many parts of the codebase. We should make this user-configurable and offer e.g. SHA512 and SHA3.
Follow-up to #3491/#3497. There are a few other parts of the code that look very suspicious to me. For instance: https://github.com/microsoft/CCF/blob/affe30ff49ceb8f09ddf13ea1513d847601ad5b0/src/host/timer.h#L43 Can the timer object be deleted while a callback...
From #3449. We should refactor the use of `SSL` and `SSL_CTX` in `tls/context.h`. An `SSL` inherits options (e.g. for certificate verification) from the `SSL_CTX`. Since we will have different endorsement...
Not sure what currently is the recommended branch for the `everest` script, but when I just tried to use `master`, it complained about the wasm package not being available: ```...
I ported a number of packages that we need/want for [Everest](https://github.com/project-everest/everest/) so I figured I'd submit a pull request in case others want those too. This also includes a couple...
ocamldoc
After installing the windows toolchain, the ocamldoc command for that toolchain is a Windows-binary at `.../windows-sysroot/bin/ocamldoc.exe`, which, when run via ```ocamlfind -toolchain windows doc``` throws ```Fatal error: unknown C primitive...
Since there is no `X509_VERIFY_PARAM_dup`, how do I copy (or up_ref) a `X509_VERIFY_PARAM`?
Attestation verification with ravl.
This is a test to see whether the overall performance is impacted negatively by enabling `-x86-speculative-load-hardening`. I _believe_ we _should_ enable this for all enclaves when LVI mitigations are enabled....
Adds support for time trial season results.