vix.ing · top · new · best · stats · spec

Mingshen Sun

  1. 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
  2. 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
  3. 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)