4 papers
Same Attack, Different Judge: A First Controlled Adversarial Comparison of Jev, LLM Judges, and Purpose-Built Safety Classifiers
Xiang Li, Aichun Huang, Mingming Zhang +1
TypeSafe AI's Jev is a new kind of safety judge. It generates no text and no label: it answers questions the developer defines in advance and returns a probability for each answer.…
When Talk Isn't Code: Comparing LLM Agents That Simulate and Develop Software
Xiang Li, Aichun Huang, Mingming Zhang +1
LLMs are used both to simulate network protocol implementations, as honeypots do, and to write them. Prior work evaluates the two uses separately, from a model's answers or convers…
A Survey of Operating System Kernel Fuzzing
Jiacheng Xu, He Sun, Shihao Jiang +8
The Operating System (OS) kernel is foundational in modern computing, especially with the proliferation of diverse computing devices. However, its development also comes with vulne…
Detecting and Measuring Security Implications of Entangled Domain Verification in CDN
Ziyu Lin, Zhiwei Lin, Run Guo +6
Content Delivery Networks (CDNs) offer a protection layer for enhancing the security of websites. However, a significant security flaw named Absence of Domain Verification (DVA) ha…