线性相关类型用于差异隐私

马可·加博阿迪,安德烈亚斯·海伯伦,徐宇春(Justin Hsu),阿琼·纳拉扬,本杰明·皮尔斯.线性相关类型用于差异隐私.罗伯托·贾科巴齐,拉迪亚·库索特,编辑,第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会,2013年1月23日至25日,意大利罗马,POPL’13.357-370、ACM、,2013 [美国国防部]

摘要

缺少摘要。