主页 / 议题
Combining Symbolic Execution and Model Checking for Data Flow Testing
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
Building Privacy-Preserving Cryptographic Credentials From Federated Online Identities
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
Extract Me if You Can: Abusing PDF Parsers in Malware Detectors
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
A Systematic Analysis of the Juniper Dual EC Incident
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
大数据城市网络安全指数报告
- 作者: 大数据协同安全技术国家工程实验室、提升政
- 收录:
Revisiting the Kernel Security Enhancements in iOS 10
- 作者: Liang Chen @ Tencent
- 收录: