Mingshen Sun

Orcid: 0000-0003-4775-0362

According to our database1, Mingshen Sun authored at least 24 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust.
CoRR, 2023

A Verified Confidential Computing as a Service Framework for Privacy Preservation.
Proceedings of the 32nd USENIX Security Symposium, 2023

IoT Anomaly Detection Via Device Interaction Graph.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs.
ACM Trans. Softw. Eng. Methodol., 2022

Topology-theoretic approach to address attribute linkage attacks in differential privacy.
Comput. Secur., 2022

Zigbee's Network Rejoin Procedure for IoT Systems: Vulnerabilities and Implications.
Proceedings of the 25th International Symposium on Research in Attacks, 2022

Detecting Cross-language Memory Management Issues in Rust.
Proceedings of the Computer Security - ESORICS 2022, 2022

2021
MirChecker: Detecting Bugs in Rust Programs via Static Analysis.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
Towards Memory Safe Python Enclave for Security Sensitive Computation.
CoRR, 2020

Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs.
CoRR, 2020

Exploiting non-uniform program execution time to evade record/replay forensic analysis.
Comput. Secur., 2020

Building and maintaining a third-party library supply chain for productive and secure SGX enclave development.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

RusTEE: Developing Memory-Safe ARM TrustZone Applications.
Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2019
Towards Memory Safe Enclave Programming with Rust-SGX.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Securing the Device Drivers of Your Embedded Systems: Framework and Prototype.
Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2017
Monet: A User-Oriented Behavior-Based Malware Variants Detection System for Android.
IEEE Trans. Inf. Forensics Secur., 2017

2016
Blender: Self-randomizing Address Space Layout for Android Apps.
Proceedings of the Research in Attacks, Intrusions, and Defenses, 2016

TaintART: A Practical Multi-level Information-Flow Tracking System for Android RunTime.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015
DroidEagle: seamless detection of visually similar Android apps.
Proceedings of the 8th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2015

2014
DroidTrace: A ptrace based Android dynamic analysis system with forward execution capability.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014

DroidRay: a security evaluation system for customized android firmwares.
Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

Design and implementation of an Android host-based intrusion prevention system.
Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013
DroidAnalytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware
CoRR, 2013

Droid Analytics: A Signature Based Analytic System to Collect, Extract, Analyze and Associate Android Malware.
Proceedings of the 12th IEEE International Conference on Trust, 2013


  Loading...