Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
Jianan Ma, Jingyi Wang, Qi Xuan +1
It is known that deep neural networks may exhibit dangerous behaviors under various security threats (e.g., backdoor attacks, adversarial attacks and safety property violation) and…
cs.CR2024
Towards Personal Data Sharing Autonomy:A Task-driven Data Capsule Sharing System
Qiuyun Lyu, Yilong Zhou, Yizhi Ren +2
Personal data custodian services enable data owners to share their data with data consumers in a convenient manner, anytime and anywhere. However, with data hosted in these service…