Our paper “Enclave-Based Secure Programming with J_E” got accepted at SecDev ‘21.