plaublin

It looks like it tries to connect to the wrong address. Can you double check the following? - the 2 lines in `dmesg` that appear when you activate ethernet-over-usb, e.g.,...

Hello Thank you for raising this issue. Indeed some additional checks could be implemented to check the provenance of the pointers passed with `[user_check]`.

Hello This is interesting. Would you have any reference to your proof of concept? Replacing pointers with integer identifiers is what the shadow structures mechanism is doing: https://www.doc.ic.ac.uk/research/technicalreports/2017/DTRS17-5.pdf . We...

Hi. I guess the big question is why would the untrusted code call `SSL_get_privatekey()` in the first place. As a research prototype we needed this call to be able to...

Yes, you can remove it. You should probably also remove the printf ecall. It's useful for debugging, but it could potentially expose sensitive information to the untrusted world.

Hi. Thank you for raising this issue. There might be security issues for running TaLoS in production, as it is only a research prototype and we needed to be able...

Hi I am not able to reproduce this error. I guess it could happen if you compile the ssl module with the SSL headers of your system instead of with...

Hi. After more investigation the problem is related to the two processes (parent + child) not waiting correctly on each others. I didn't find a beautiful fix for now, but...

Hi I have found a problem in the Makefile.sgx.patch of LibSEAL and fixed it in the latest commit (32d5641). Can you try again? It should be fine now.

I did not encounter these errors when compiling without sgx. Instead I have encountered other errors related to a type mismatch in the auditing module interface (see commit 3437214). I...