Security Researcher, Rust, Apache Teaclave (Incubating), Confidential Computing
Sunnyvale, CA
Joined May 2012
- Tweets241
- Following731
- Followers486
- Likes380
Mingshen Sun retweeted
📰📢 In today's tech-driven world, data security is paramount. Excited to share that TikTok is now a Premier member of the CCC. Together, we're advancing confidential computing technology adoption
hubs.la/Q02pYLmW0
#Confidential Computing, #security, #dataprivacy
Mingshen Sun retweeted
I’m presenting our work on verification of Confidential Computing as a Service (CCaaS) @USENIXSecurity 23.
If you’re interested, please come to Platinum Salon 7–8 on Aug. 10 at 4:45 pm–5:45 pm (track 3).
Check our artifact and paper in this repository: github.com/ya0guang/PoBF
Mingshen Sun retweeted
ANNOUNCEMENT: The @NSF Secure and Trustworthy Cyberspace (SaTC) 2.0 Vision Statement is publicly available on arXiv! Check it out here: arxiv.org/abs/2308.00623
Mingshen Sun retweeted
A Memory Safe Implementation of the Network Time Protocol
memorysafety.org/blog/memory…
Discussions: discu.eu/q/https://www.memor…
#programming #rustlang
Mingshen Sun retweeted
Don't understand security venues' obsession on "security eval". Often this part 1. (re-)emphasize sec. guarantees, 2. show it stops some CVE. 1st is unneeded if design is clear. 2nd shows impl. works for certain cases, which is better than nothing, but shouldn't be a necessity.
So true…😂
ALT @shenanigansen of owlturd.com fame walks up to ANG... er, RUST, wide-eyed and curious, and says: "Hey RUST, why do you always wear that mask?" Shen grabs the mask and gently tilts it up, revealing... ...C FFI. ...Shen, in the last panel, slowly tilts the mask back down, patting it slightly, with a... reassuring? look. "Let's keep this on."
I/O Safety is fantastic. This is why I love Rust. It keeps evolving towards a safer and more secure language.
Rust 1.63.0 is now available! ✨
Enjoy scoped threads (which can borrow from the spawning scope), I/O Safety (ownership and borrowing for Unix file descriptors and Windows handles), and more!
See the announcement and release notes for more details: blog.rust-lang.org/2022/08/1…
Mingshen Sun retweeted
Rust in Perspective
people.kernel.org/linusw/rus…
Discussions: discu.eu/q/https://people.ke…
#programming #rustlang
Mingshen Sun retweeted
#Linux #kernel developer Linus Walleij wrote "Rust in Perspective": people.kernel.org/linusw/rus…
"[…] Rust is attempting to raise the abstraction in the programming language and ultimately to join computer science and software engineering into one single discipline, an ambition […]
Mingshen Sun retweeted
A tutorial to learn how to build secure applications for Intel SGX platforms in C and Rust (using Teaclave SGX SDK): github.com/plaublin/intel_sg…
Mingshen Sun retweeted
历时半个月的下班时间，终于把 lsp-bridge 这个开源项目完成了。
lsp-bridge 这个项目最大的贡献是通过多线程架构设计，把 Emacs 代码智能编写性能提升到微软 VSCode 的流畅水平。
EAF和lsp-bridge这两个项目是我一直以来未完成的小心愿，现在都完成了，内心圆满。
Mingshen Sun retweeted
Teaclave / Teaclave SGX SDK are in the list of Intel's recommended SDK. Thanks! intel.com/content/www/us/en/…
Mingshen Sun retweeted
Announcing Apache Teaclave (incubating) 0.4.0: teaclave.apache.org/blog/202…
How to prove no privacy leakage and no privacy residue? Watch our recent work on Proof of Being Forgotten: Verified Privacy Protection in Confidential Computing Platform. youtu.be/NrOySgI7O3o
Mingshen Sun retweeted
Postdoc position available! 🙂 Prof. David Wagner @Berkeley_EECS is looking for a strong postdoc with interests in applications of machine learning to security or in adversarial machine learning, starting in 2022 or early 2023. If interested, please contact [email protected]
I’m glad to announce my talk at this year’s Open Confidential Computing Conference! You can sign up for free at oc3.dev
At this year's #OC3, @mingshensun will present "Proof of Being Forgotten: Verified #Privacy Protection in Confidential Computing Platform".
Mingshen is a Staff Security Researcher at @Baidu_Inc. He leads development of the #confidentialcomputing platform Apache Teaclave.
Mingshen Sun retweeted
Meet the speakers of #OC3 2022! We are proud to have leading experts on #ConfidentialComputing tech, apps & solutions and #Cloud-native. 🤩
@markrussinovich @flxflx @m1ghtymo @rbehjati @MikeCamel @tsorfs @MingshenSun @joergroedel
Join us (free, online): hopin.com/events/oc3-open-co…
Interested in the security of Rust programs? Please read our recent @acm_ccs paper and get started with the tool: MirChecker: Detecting Bugs in Rust Programs via Static Analysis: mssun.me/research/ccs21mirch…