Description  Claims  Drawing  Cited references 

WO2017187207A1   [0010] 
WO2014088903A1   [0010] 

Privacy integrated queries: An Extensible Platform for Privacy-Preserving Data Analysis   [0011] 
CASTLE: Enhancing the utility of inequality query auditing without denial threats   [0011] 
User manual for the ACL2 Theorem Prover and the ACL2 Community Books   [0026] 
Differential privacy   [0028]