Baidu Security X-Lab
Lead/Link/Fight. Security never sleeps.
Private Set Intersection Technology: A Hot Topic in Multi-Party Computing
Private Set Intersection Technology: A Hot Topic in Multi-Party Computing
Privacy Set Intersection (PSI) computation is a specific scenario in secure multi-party computing (MPC) applications. It not only has…
OpenRASP: Protection against Vulnerabilities
OpenRASP: Protection against Vulnerabilities
OpenRASP is an open source and free adaptive security product released by Baidu Security, which has an in-depth cooperation with the…
MesaTEE Security Formal Verification in Action
MesaTEE Security Formal Verification in Action
In MesaTEE, we ran formal verification on TPM core software stack to ensure that ~67,000 lines of code do not have security issues in the…
MesaTEE Open-Source Released: A Framework for Universal Secure Computing
MesaTEE Open-Source Released: A Framework for Universal Secure Computing
After Rust SGX SDK, MesaLock Linux, MesaLink, MesaPy and other sub-projects have been open sourced, the highly anticipated secure…
Tackling AI Challenges in Safety-Critical Scenarios — A Review on Robustness of Deep Learning…
Tackling AI Challenges in Safety-Critical Scenarios — A Review on Robustness of Deep Learning…
0x01 Current Research of Deep Learning Robustness