Publications
| Publisher | Title | Date | |
|---|---|---|---|
| 2023 IEEE Symposium on Security and Privacy | QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries | Jun 21, 2023 | |
| 30th USENIX Security Symposium | Precise and Scalable Detection of Use-after-Compacting-Garbage-Collection Bugs | Aug 11, 2021 | |
| In Proceedings of the USENIX Security Symposium | Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer | Aug 14, 2020 | |
| IEEE Transactions on Software Engineering | The Art, Science, and Engineering of Fuzzing: A Survey | Oct 11, 2019 | |
| In Proceedings of the NDSS WorkShop on Binary Analysis Research (Best Paper Award) | B2R2: Building an Efficient Front-End for Binary Analysis | Feb 24, 2019 | |
| In Proceedings of the ACM Conference on Computer and Communications Security | Breaking and Fixing VoLTE: Exploiting Hidden Data Channels and Mis-implementations | Oct 12, 2015 | |
| In Proceedings of the ACM Conference on Computer and Communications Security | Platform-independent programs | Oct 04, 2010 |
Stay in the Loop with Theori's Latest Stories.
Stay in the Loop with Theori's Latest Stories.