2 papers
cs.PL2026
Compositional security definitions for higher-order where declassification
Jan Menz, Andrew K. Hirsch, Peixuan Li +1
To ensure programs do not leak private data, we often want to be able to provide formal guarantees ensuring such data is handled correctly. Often, we cannot keep such data secret e…
cs.CL2024
UOR: Universal Backdoor Attacks on Pre-trained Language Models
Wei Du, Peixuan Li, Boqun Li +2
Backdoors implanted in pre-trained language models (PLMs) can be transferred to various downstream tasks, which exposes a severe security threat. However, most existing backdoor at…