It would be good experience for the students to use SGX in a lab. [The OpenSGX simulator](https://cysec.kaist.ac.kr/publications/jain-opensgx.pdf) might be useful.