Mingshen Sun

Google Scholar
14 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
PICACHV: Formally Verified Data Use Policy Enforcement for Secure Data Analytics.
2023
conf/uss
A Verified Confidential Computing as a Service Framework for Privacy Preservation.
Filters
Years:  to