Search for persons
X
?
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security ,
10
Differentially Private Bayesian Programming:
, In:
?
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
12
Higher-Order Approximate Relational Refinement Types for Me..:
, In:
?
2014 IEEE 27th Computer Security Foundations Symposium ,
13