2 papers
cs.PL2026
SuperDP: Differential Privacy Refutation via Supermartingales
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ÄorÄe ŽikeliÄ
Differential privacy (DP) has established itself as one of the standards for ensuring privacy of individual data. However, reasoning about DP is a challenging and error-prone task,…
cs.SE2025
Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
Jieke Shi, Junda He, Zhou Yang +2
With the increasing use of neural policies in control systems, ensuring their safety and reliability has become a critical software engineering task. One prevalent approach to ensu…