Sotabase

Career

· Ph.D. Candidate in Electrical and Computer Engineering, Georgia Institute of Technology2021–2025
· Master's Degree, Georgia Institute of Technology2019–2021
· Postdoctoral Researcher, Georgia Institute of Technology2015–2018
· Senior Researcher, Microsoft Research
· Postdoc, Researcher, MSR
· PhD Student, Pohang University of Science and Technology (POSTECH)

Publications (87)

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing
USENIX Security Symposium · 2016
528
cited
QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
USENIX Security Symposium · 2018
519
cited
T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs
Network and Distributed System Security Symposium · 2017
425
cited
Molmo and PixMo: Open Weights and Open Data for State-of-the-Art Multimodal Models
arXiv.org · 2024
356
cited
Heterogeneous integration of single-crystalline complex-oxide membranes
Nature · 2020
282
cited
Breaking Kernel Address Space Layout Randomization with Intel TSX
Conference on Computer and Communications Security · 2016
175
cited
libmpk: Software Abstraction for Intel Memory Protection Keys (Intel MPK)
USENIX Annual Technical Conference · 2019
170
cited
SGX-Bomb: Locking Down the Processor via Rowhammer Attack
SysTEX@SOSP · 2017
167
cited
Molmo and PixMo: Open Weights and Open Data for State-of-the-Art Vision-Language Models
Computer Vision and Pattern Recognition · 2024
105
cited
Toward Engineering a Secure Android Ecosystem
ACM Computing Surveys · 2016
90
cited
MolmoAct: Action Reasoning Models that can Reason in Space
arXiv.org · 2025
59
cited
CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems
USENIX Annual Technical Conference · 2017
56
cited
Control of scale formation in reverse osmosis by membrane rotation
2003
41
cited
One Diffusion to Generate Them All
Computer Vision and Pattern Recognition · 2024
34
cited
The critical contribution of unzipped graphene nanoribbons to scalable silicon–carbon fiber anodes in rechargeable Li-ion batteries
2015
31
cited
Experimental verification of a model for rotating reverse osmosis
2002
24
cited
Kard: lightweight data race detection with per-thread memory protection
International Conference on Architectural Support for Programming Languages and Operating Systems · 2021
24
cited
Experimental analysis of the swirling flow in a model rectangular gas turbine combustor
2016
23
cited
Rotating membrane filtration and rotating reverse osmosis
2004
23
cited
libmpk: Software Abstraction for Intel Memory Protection Keys
arXiv.org · 2018
15
cited
Sotabase