2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.PL2026★ 2 cited
Program Analysis for Adaptive Data Analysis
Jiawen Liu, Weihao Qu, Marco Gaboardi +2
Data analyses are usually designed to identify some property of the population from which the data are drawn, generalizing beyond the specific data sample. For this reason, data an…
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…