4 citations · 6 across the 7 of their papers we have counts for
5 papers · 1 filter
Prompt Overflow: What the Guardrail Inspects Is Not What the Model Infers
Yuanbo Zhou, Changjia Zhu, Junyu Wang +5
Guardrail models (a.k.a. safety checkers) are widely deployed to screen user inputs before they reach large language models (LLMs), serving as a primary defense against prompt inje…
ChainMarks: Securing DNN Watermark with Cryptographic Chain
Brian Choi, Shu Wang, Isabelle Choi +1
With the widespread deployment of deep neural network (DNN) models, dynamic watermarking techniques are being used to protect the intellectual property of model owners. However, re…
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
Hung-Mao Chen, Xu He, Shu Wang +2
Rust supports type conversions and safe Rust guarantees the security of these conversions through robust static type checking and strict ownership guidelines. However, there are in…
Dye4AI: Assuring Data Boundary on Generative AI Services
Shu Wang, Kun Sun, Yan Zhai
Generative artificial intelligence (AI) is versatile for various applications, but security and privacy concerns with third-party AI vendors hinder its broader adoption in sensitiv…
BinGo: Identifying Security Patches in Binary Code with Graph Representation Learning
Xu He, Shu Wang, Pengbin Feng +4
A timely software update is vital to combat the increasing security vulnerabilities. However, some software vendors may secretly patch their vulnerabilities without creating CVE en…