USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 10 results:
Filters: Author is Chengyu Song [Clear All Filters]
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. 31st USENIX Security Symposium (USENIX Security 22). :125--142.
.
2022. SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis. 31st USENIX Security Symposium (USENIX Security 22). :2531--2548.
.
2022. SpecROP: Speculative Exploitation of ROP Chains. 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). :1--16.
.
2020. Be Sensitive and Collaborative: Analyzing Impact of Coverage Metrics in Greybox Fuzzing. 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). :1--15.
.
2019. FIRM-AFL: High-Throughput Greybox Fuzzing of IoT Firmware via Augmented Process Emulation. 28th USENIX Security Symposium (USENIX Security 19). :1099--1114.
.
2019. Spectre Returns! Speculation Attacks using the Return Stack Buffer. 12th USENIX Workshop on Offensive Technologies (WOOT 18).
.
2018. Detecting Android Root Exploits by Learning from Root Providers. 26th USENIX Security Symposium (USENIX Security 17). :1129--1144.
.
2017. Efficient Protection of Path-Sensitive Control Security. 26th USENIX Security Symposium (USENIX Security 17). :131--148.
.
2017. Type Casting Verification: Stopping an Emerging Attack Vector. 24th USENIX Security Symposium (USENIX Security 15). :81--96.
.
2015. Mimesis Aegis: A Mimicry Privacy Shield–A System’s Approach to Data Privacy on Public Cloud. 23rd USENIX Security Symposium (USENIX Security 14). :33--48.
.
2014.