Fuzzing has become the de facto standard technique for finding software vulnerabilities.
However, even state-of-the-art fuzzers are not very efficient at finding hard-to-trigger …

The goal of the growing discipline of neuro-symbolic artificial intelligence (AI) is to develop
AI systems with more human-like reasoning capabilities by combining symbolic reasoning …

With the wide application of Internet of Things (IoT) devices, security attacks against their
firmware often occur, which has attracted more attention from the research community …

Security vulnerabilities have a large real-world impact, from ransomware attacks costing
billions of dollars every year to sensitive data breaches in government, military and industry …

For the past half-century since the advent of modern cryptography, perhaps most distinctly
demarcated by Diffie and Hellman in 1976, dramatic advances in cryptographic theory and …