Author of the publication

SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution.

, , , , , , , , and . CCS, page 2710-2724. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

APIMind: API-driven Assessment of Runtime Description-to-permission Fidelity in Android Apps., , , , , and . ISSRE, page 427-438. IEEE, (2023)RASS: A Portable Real-time Automatic Sleep Scoring System., , , , , and . RTSS, page 105-114. IEEE Computer Society, (2012)T-Star: A Text-Based iStar Modeling Tool., , , and . RE, page 490-491. IEEE, (2019)An Aerodynamics Calculation Method of a Flapping Wing Flying Robot Based on State-Space Airloads Theory., , , , , and . ROBIO, page 1821-1826. IEEE, (2019)Adaptive Image-Based Visual Servoing With Temporary Loss of the Visual Signal., , , and . IEEE Trans. Ind. Informatics, 15 (4): 1956-1965 (2019)Design and Control of a Small Intelligent Camera Stabilizer for a Flapping-Wing Robotic Bird., , , , , , and . ICIRA (3), volume 11742 of Lecture Notes in Computer Science, page 362-375. Springer, (2019)SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution., , , , , , , , and . CCS, page 2710-2724. ACM, (2023)A real-time auto-adjustable smart pillow system for sleep apnea detection and treatment., , , and . IPSN, page 179-190. ACM, (2013)Two Experimental Methods to Test the Aerodynamic Performance of HITHawk., , , , , , and . ICIRA (3), volume 11742 of Lecture Notes in Computer Science, page 386-398. Springer, (2019)How Android Apps Break the Data Minimization Principle: An Empirical Study., , , , , and . ASE, page 1238-1250. IEEE, (2023)