Mingshen Sun
- Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs
2020/03/06 by Hui Xu, Xu, Hui, Zhuangbin Chen +8 · 5 voices
Computer Science · Engineering · #Security and Verification in Computing #Advanced Malware Detection Techniques #Radiation Effects in Electronics
- Towards Memory Safe Python Enclave for Security Sensitive Computation
2020/05/12 by Huibo Wang, Mingshen Sun, Wang, Huibo +8 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Security and Verification in Computing
- Building and Maintaining a Third-Party Library Supply Chain for Productive and Secure SGX Enclave Development
2020/05/09 by Pei Wang, Wang, Pei, Yu Ding +13 · 1 citation
Computer Science · #Cloud Data Security Solutions #Distributed systems and fault tolerance #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)