TWC: Large: Collaborative: Computing Over Distributed Sensitive Data

TWC:大型:协作:分布式敏感数据计算

基本信息

  • 批准号:
    2040215
  • 负责人:
  • 金额:
    $ 9.57万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2020
  • 资助国家:
    美国
  • 起止时间:
    2020-02-01 至 2022-04-30
  • 项目状态:
    已结题

项目摘要

Information about individuals is collected by a variety of organizations including government agencies, banks, hospitals, research institutions, and private companies. In many cases, sharing this data among organizations can bring benefits in social, scientific, business, and security domains, as the collected information is of similar nature, of about similar populations. However, much of this collected data is sensitive as it contains personal information, or information that could damage an organization's reputation or competitiveness. Sharing of data is hence often curbed for ethical, legal, or business reasons. This project develops a collection of tools that will enable the benefits of data sharing without having the data owners share the data. The techniques developed respect principles of data ownership and privacy requirement, and draw on recent scientific developments in privacy, cryptography, machine learning, computational statistics, program verification, and system security. The tools developed in this project will contribute to the existing research and business infrastructure, and hence enable new ways to create value in information whose use would have been otherwise restricted. The project supports the development of new curricula material and train a new generation of researchers and citizens with the multidisciplinary perspectives required to address the complex issues surrounding data privacy.
有关个人的信息是由政府机构,银行,医院,研究机构和私人公司在内的各种组织收集的。在许多情况下,在组织之间共享这些数据可以为社会,科学,商业和安全领域带来好处,因为收集的信息具有相似人群的类似性质。但是,这些收集的数据大部分是敏感的,因为它包含个人信息,或者可能会损害组织声誉或竞争力的信息。因此,数据共享通常是出于道德,法律或商业原因而遏制。该项目开发了一系列工具,这些工具将使数据共享的好处无需数据所有者共享数据。这些技术开发了尊重数据所有权和隐私要求的原则,并借鉴了隐私,加密,机器学习,计算统计,程序验证和系统安全方面的最新科学发展。该项目中开发的工具将有助于现有的研究和业务基础架构,因此可以在本来可以限制其使用的信息中创造价值的新方法。该项目支持开发新课程材料,并培训新一代的研究人员和公民,具有解决围绕数据隐私的复杂问题所需的多学科观点。

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Covariance-Aware Private Mean Estimation Without Private Covariance Estimation
  • DOI:
  • 发表时间:
    2021-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou
  • 通讯作者:
    Gavin Brown;Marco Gaboardi;Adam D. Smith;Jonathan Ullman;Lydia Zakynthinou
The Complexity of Verifying Boolean Programs as Differentially Private
验证布尔程序是否为差分私有的复杂性
Multiclass versus Binary Differentially Private PAC Learning
多类与二元差分私有 PAC 学习
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Marco Gaboardi其他文献

From light logics to type assignments: a case study
从轻逻辑到类型分配:案例研究
  • DOI:
    10.1093/jigpal/jzp019
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi;S. D. Rocca
  • 通讯作者:
    S. D. Rocca
A Core Quantitative Coeffect Calculus
核心定量协效应微积分
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aloïs Brunel;Marco Gaboardi;Damiano Mazza;Steve Zdancewic
  • 通讯作者:
    Steve Zdancewic
A An Implicit Characterization of PSPACE
A PSPACE 的隐式表征
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi
  • 通讯作者:
    Marco Gaboardi
A Program Logic for Union Bounds
联合界限的程序逻辑
  • DOI:
    10.4230/lipics.icalp.2016.107
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    G. Barthe;Marco Gaboardi;B. Grégoire;Justin Hsu;Pierre
  • 通讯作者:
    Pierre
What is a model for a semantically linear λ-calculus?
什么是语义线性 λ 演算模型?
  • DOI:
    10.1093/logcom/exs023
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi;M. Piccolo
  • 通讯作者:
    M. Piccolo

Marco Gaboardi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Marco Gaboardi', 18)}}的其他基金

Collaborative Research: SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
协作研究:SaTC:核心:小型:分离逻辑中的机械化密码推理
  • 批准号:
    2314324
  • 财政年份:
    2023
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
Collaborative Research: DASS: Co-design of law and computer science for privacy in sociotechnical software systems
合作研究:DASS:社会技术软件系统中隐私保护的法律和计算机科学的共同设计
  • 批准号:
    2217679
  • 财政年份:
    2022
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Standard Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    2040249
  • 财政年份:
    2020
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
  • 批准号:
    2040222
  • 财政年份:
    2020
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Standard Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    1845803
  • 财政年份:
    2019
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
  • 批准号:
    1718220
  • 财政年份:
    2017
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Standard Grant
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
  • 批准号:
    1565365
  • 财政年份:
    2016
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference
PrivInfer - 用于差异隐私的编程语言:调节和推理
  • 批准号:
    EP/M022358/1
  • 财政年份:
    2015
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Research Grant

相似国自然基金

基于大塑性变形晶粒细化的背压触变反挤压锡青铜偏析行为调控研究
  • 批准号:
    52365047
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
面向大跨度结构的高强多孔骨料内养护UHPC徐变性能与模型研究
  • 批准号:
    52308231
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于深度光学的大视场高分辨宽景深小型化显微成像
  • 批准号:
    62301293
  • 批准年份:
    2023
  • 资助金额:
    10 万元
  • 项目类别:
    青年科学基金项目
基于气体多通腔多模非线性效应的大能量可调谐光源的研究
  • 批准号:
    12374318
  • 批准年份:
    2023
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
二维氮化钼/磷化钼面内异质结构催化材料的设计合成及大电流密度析氢性能研究
  • 批准号:
    22379116
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目

相似海外基金

TWC: Large: Collaborative: The Science and Applications of Crypto-Currency
TWC:大型:协作:加密货币的科学与应用
  • 批准号:
    2131903
  • 财政年份:
    2021
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
TWC: TTP Option: Large: Collaborative: Towards a Science of Censorship Resistance
TWC:TTP 选项:大:协作:走向审查制度抵抗的科学
  • 批准号:
    1953513
  • 财政年份:
    2019
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
TWC:大型:协作:可验证的硬件:证明自身正确性的芯片
  • 批准号:
    1801052
  • 财政年份:
    2017
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: Living in the Internet of Things
TWC:大型:协作:生活在物联网中
  • 批准号:
    1565252
  • 财政年份:
    2016
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
TWC:大型:协作:可验证的硬件:证明自身正确性的芯片
  • 批准号:
    1565396
  • 财政年份:
    2016
  • 资助金额:
    $ 9.57万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了