Allocation, dereferencing, and freeing of memory data in kernels are coherently linked.
There widely exist real cases where the correctness of memory is compromised. This …

SSL library plays an important role in ensuring secure connections against remote attacks,
and thus the correct usages of SSL library should be guaranteed to avoid security and …

Historically, software security has approached the development of cryptographic software
merely as a feature to be added. This stance did not have a positive influence on the design …

Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation Page 1 Public Automata-Guided
Control-Flow-Sensitive Fuzz Driver Generation Cen Zhang, Yuekang Li, Hao Zhou, Xiaohan …

Transport Layer Security (TLS) is one of the most widely deployed cryptographic protocols
on the Internet that provides confidentiality, integrity, and a certain degree of authenticity of …

Smart devices and mobile platforms are omnipresent. Android OS has evolved to become
the most dominating mobile operating system on the market with billions of devices and a …

基于密码学原理的安全解决方案是网络空间安全研究的重要内容, 能够为信息系统提供各种必要
安全保障. 然而, 许多现实事例表明, 在信息系统中完善地实施密码技术并非易事. 尤其是 …

The Java platform and third-party open-source libraries provide various Application
Programming Interfaces (APIs) to facilitate secure coding. However, using these APIs …

Secure Sockets Layer (SSL) and Transport Layer Security (TLS) protocols provide a reliable
communication channel between applications over the Internet. Implementations of these …

Libraries offer reusable functionality through Application Programming Interfaces (APIs) with
usage constraints such as call conditions or orders. Constraint violations, ie API misuses …