81 citations · 97 across the 8 of their papers we have counts for
5 papers · 1 filter
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
Haobin Hiroki Chen, Hongbo Chen, Mingshen Sun +2
Ensuring the proper use of sensitive data in analytics under complex privacy policies is an increasingly critical challenge. Many existing approaches lack portability, verifiabilit…
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust
Jie Zhou, Mingshen Sun, John Criswell
Rust is one of the most promising systems programming languages to fundamentally solve the memory safety issues that have plagued low-level software for over forty years. However,…
Towards Memory Safe Python Enclave for Security Sensitive Computation
Huibo Wang, Mingshen Sun, Qian Feng +3
Intel SGX Guard eXtensions (SGX), a hardware-supported trusted execution environment (TEE), is designed to protect security-sensitive applications. However, since enclave applicati…
Monet: A User-oriented Behavior-based Malware Variants Detection System for Android
Mingshen Sun, Xiaolei Li, John C. S. Lui +2
Android, the most popular mobile OS, has around 78% of the mobile market share. Due to its popularity, it attracts many malware attacks. In fact, people have discovered around one…
DroidAnalytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware
Min Zheng, Mingshen Sun, John C. S. Lui
Smartphones and mobile devices are rapidly becoming indispensable devices for many users. Unfortunately, they also become fertile grounds for hackers to deploy malware and to sprea…