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