microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
102 stars 28 forks source link

enc.elfbin #14

Open wolvre opened 6 years ago

wolvre commented 6 years ago

I would like to make a full build in order to understand how Komodo works. So far I get stuck with

"make -C driver"

which requires an enclave image enc.elfbin.

I was wondering if you can share the image used in your experimentation.

Many thanks in advance!

0xabu commented 6 years ago

Unfortunately I can't easily share the enclave we used for testing and benchmarks -- it's complicated for us to release it mainly for licensing/review reasons, but what I can try to do is construct a quick test enclave that you can use instead. I'm planning to do that when I find some cycles to work on this, but please be patient...

Davidleeh commented 6 years ago

Echo to @wolvre and thanks a lot for the test enclave from @0xabu :)

Looking forward to it. :)