Hi @dingelish, it looks good to us! Can you just,please, correct Wojciech's handle: it is @w-woloszyn. Also, Professor Bill Roscoe is another contributor to our analysis, and to finding this issue as a consequence - he does not have a github handle, though. Just making sure everyone is acknowledged so we are all on the same page! :-D
Many thanks for keeping us in the loop and for the fix! -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave-sgx-sdk/pull/322#issuecomment-792623627
