2 papers
cs.CL2024
Privacy in LLM-based Recommendation: Recent Advances and Future Directions
Sichun Luo, Wei Shao, Yuxuan Yao +9
Nowadays, large language models (LLMs) have been integrated with conventional recommendation models to improve recommendation performance. However, while most of the existing works…
cs.CR2023
Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques hav…