@inproceedings {272282, author = {Jeongseok Son and Griffin Prechter and Rishabh Poddar and Raluca Ada Popa and Koushik Sen}, title = {{ObliCheck}: Efficient Verification of Oblivious Algorithms with Unobservable State}, booktitle = {30th USENIX Security Symposium (USENIX Security 21)}, year = {2021}, isbn = {978-1-939133-24-3}, pages = {2219--2236}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/son}, publisher = {USENIX Association}, month = aug } @inproceedings {244028, author = {Chia-che Tsai and Jeongseok Son and Bhushan Jain and John McAvey and Raluca Ada Popa and Donald E. Porter}, title = {Civet: An Efficient Java Partitioning Framework for Hardware Enclaves}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {505--522}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/tsai}, publisher = {USENIX Association}, month = aug } @inproceedings {203241, author = {Jeongseok Son and Yongqiang Xiong and Kun Tan and Paul Wang and Ze Gan and Sue Moon}, title = {Protego: {Cloud-Scale} Multitenant {IPsec} Gateway}, booktitle = {2017 USENIX Annual Technical Conference (USENIX ATC 17)}, year = {2017}, isbn = {978-1-931971-38-6}, address = {Santa Clara, CA}, pages = {473--485}, url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/son}, publisher = {USENIX Association}, month = jul }