For anyone interested, the corresponding software has been released under an Open Source license: https://github.com/IntelLabs/encrypted-computing-sdk