| Cerberus: A formal approach to secure and efficient enclave memory sharing D Lee, K Cheang, A Thomas, C Lu, P Gaddamadugu, ... Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 4 | 2022 |
| SCL: A Secure Concurrency Layer For Paranoid Stateful Lambdas K Chen, A Thomas, H Lu, W Mullen, J Ichnowski, R Arya, N Krishnakumar, ... arXiv preprint arXiv:2210.11703, 2022 | 2 | 2022 |
