Henry Corrigan-Gibbs

operating systems design and implementation, pp.1121-1138, (2020)

IEEE Symposium on Security and Privacy, (2019)

IACR Cryptology ePrint Archive, (2019): 1075

Electronic Colloquium on Computational Complexity (ECCC), (2019): 393-421

ADVANCES IN CRYPTOLOGY - CRYPTO 2019, PT III, (2019): 67-97

IACR Cryptology ePrint Archive, (2019): 188

IACR Cryptology ePrint Archive, (2019): 1046

ADVANCES IN CRYPTOLOGY - EUROCRYPT 2018, PT II, (2018): 415-447

SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles Shanghai China ..., pp.406-422, (2017)

HotOS, pp.76-81, (2017)

MobiSys, pp.464-474, (2017)

NSDI, (2017)

CoRR, (2016)

ADVANCES IN CRYPTOLOGY - ASIACRYPT 2016, PT I, (2016): 220-248

IACR Cryptology ePrint Archive, (2016)

IEEE Security & Privacy, no. 2 (2016): 22-28

HotOS, (2015)

arXiv: Cryptography and Security, (2015)