Baidu Security X-Lab
Lead/Link/Fight. Security never sleeps.
发现并协助修复数十处机密计算框架漏洞，百度安全获谷歌、微软致谢
发现并协助修复数十处机密计算框架漏洞，百度安全获谷歌、微软致谢
近期，微软与谷歌公司相继对其主导的机密计算开源项目 Microsoft Open Enclave SDK (https://openenclave.io/sdk/) 和 Google Asylo (https://asylo.dev/)…
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…