Fuzzing has proven to be a highly effective approach to uncover software bugs over the past
decade. After AFL popularized the groundbreaking concept of lightweight coverage …

Fuzzing, a widely-used technique for bug detection, has seen advancements through Large
Language Models (LLMs). Despite their potential, LLMs face specific challenges in fuzzing …

Web browsers exhibit rich semantics that enable a plethora of web-based functionalities.
However, these intricate semantics present significant challenges for the implementation …

Tensor compilers are essential for deploying deep learning applications across various
hardware platforms. While powerful, they are inherently complex and present significant …

Attack surface reduction is a security technique that secures the operating system by
removing the unnecessary code or features of a program. By restricting the system calls that …

A recent trend towards running more demanding web applications, such as video games or
client-side LLMs, in the browser has led to the adoption of the WebGPU standard that …

Rendering lies at the heart of our modern web experience. However, the correctness of
browser rendering is not always guaranteed, often leading to rendering bugs. Traditional …

Greybox fuzzing enhances software security through unprecedented effectiveness in
automated fault detection. Its success lies in the coverage feedback extracted from the …

Fuzzing is an automated software testing technique used to find software vulnerabilities that
works by sending large amounts of inputs to a software system to trigger bad behaviors. In …

The security of web browsers, being fundamental to Internet access infrastructure, has
garnered significant attention. Current approaches to identify browser vulnerabilities …