@inproceedings {287085, author = {Zhengxiong Luo and Junze Yu and Feilong Zuo and Jianzhong Liu and Yu Jiang and Ting Chen and Abhik Roychoudhury and Jiaguang Sun}, title = {Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations}, booktitle = {32nd USENIX Security Symposium (USENIX Security 23)}, year = {2023}, isbn = {978-1-939133-37-3}, address = {Anaheim, CA}, pages = {4481--4498}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/luo-zhengxiong}, publisher = {USENIX Association}, month = aug } @inproceedings {281418, author = {Kaihang Ji and Jun Zeng and Yuancheng Jiang and Zhenkai Liang and Zheng Leong Chua and Prateek Saxena and Abhik Roychoudhury}, title = {{FlowMatrix}: {GPU-Assisted} {Information-Flow} Analysis through {Matrix-Based} Representation}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {2567--2584}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/ji}, publisher = {USENIX Association}, month = aug } @inproceedings {281370, author = {Jinsheng Ba and Marcel B{\"o}hme and Zahra Mirzamomen and Abhik Roychoudhury}, title = {Stateful Greybox Fuzzing}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {3255--3272}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/ba}, publisher = {USENIX Association}, month = aug } @inproceedings {244038, author = {Shweta Shinde and Shengyi Wang and Pinghai Yuan and Aquinas Hobor and Abhik Roychoudhury and Prateek Saxena}, title = {{BesFS}: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {523--540}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/shinde}, publisher = {USENIX Association}, month = aug }