Collaborative Research: DASS: Co-design of law and computer science for privacy in sociotechnical software systems

合作研究:DASS:社会技术软件系统中隐私保护的法律和计算机科学的共同设计

基本信息

  • 批准号:
    2217679
  • 负责人:
  • 金额:
    $ 24.97万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2022
  • 资助国家:
    美国
  • 起止时间:
    2022-10-01 至 2025-09-30
  • 项目状态:
    未结题

项目摘要

Software systems are deeply integrated in society. Alongside their many benefits, however, the use of personal data by these systems carries risks to the people and organizations that use them. Legal and technical data protection measures developed over the last few decades to curb these risks have evolved in diverging ways. This makes it hard to reason about whether the collection, analysis, and sharing of personal data in such systems complies with legal privacy standards. It also makes regulators’ jobs harder when technical measures are not well-understood outside of the communities that develop them. To bridge this gap, the project will develop ways to integrate technical and legal approaches to privacy in the design of such sociotechnical software systems. Through bringing together this expertise, the project team will develop accountability frameworks based on legally- and mathematically-sound principles, increasing our ability to develop systems that provide both legal compliance and meaningful protection of people’s data. The project will develop new methods for translating and co-developing technical and legal concepts that map well onto each other. One main approach will be to establish technical interpretations of legal concepts that can be incorporated in the design, analysis, and verification of accountable systems. Another is to develop paradigms for translating concepts from the technical study of privacy in ways that promote their understanding and adoption in legal analysis and policymaking. The third is methods for the development of new “hybrid” concepts that are simultaneously definable and evaluable by legal and technical experts. The project team will use this work to develop a practical legal-technological toolkit for designing robust accountable formal software systems and regulations, and although the initial work will be instantiated primarily around privacy regulations, the toolkit of methods will be designed to support similar alignment and translation in other domains where regulation meets software.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
软件系统与社会紧密结合。然而,除了诸多好处之外,这些系统对个人数据的使用也给使用这些数据的个人和组织带来了风险。过去几十年来为遏制这些风险而制定的法律和技术数据保护措施以不同的方式发展。这使得很难推断在此类系统中收集、分析和共享个人数据是否符合法律隐私标准。当技术措施在制定这些措施的社区之外没有得到很好的理解时,这也使监管机构的工作变得更加困难。为了弥补这一差距,该项目将开发方法,在设计此类社会技术软件系统时整合技术和法律方法来保护隐私。通过汇集这些专业知识,项目团队将根据法律和数学上合理的原则制定问责框架,提高我们开发既符合法律规定又能有效保护个人数据的系统的能力。该项目将开发翻译和共同开发技术和法律概念的新方法,这些概念可以很好地相互关联。一个主要办法将是对法律概念作出技术解释,这些解释可以纳入问责制的设计、分析和核查。另一个是发展范式,从隐私的技术研究中翻译概念,以促进他们在法律分析和政策制定中的理解和采用。第三是开发新的“混合”概念的方法,这些概念可以同时由法律和技术专家定义和评估。项目团队将利用这项工作开发一个实用的法律技术工具包,用于设计可靠的可问责的正式软件系统和法规,尽管最初的工作将主要围绕隐私法规进行实例化,但该方法工具包将被设计为支持在法规与软件相结合的其他领域进行类似的校准和翻译。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
National Telecommunications and Information Administration: Comments from Researchers at Boston University and the University of Chicago
美国国家电信和信息管理局:波士顿大学和芝加哥大学研究人员的评论
  • DOI:
    10.2139/ssrn.4480590
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Canetti, Ran;Cohen, Aloni;Conley, Chris;Crovella, Mark;Dogan, Stacey L.;Gaboardi, Marco;Hartzog, Woodrow;Van Loo, Rory;Robertson, Christopher T.;Baird Silbaugh, Katharine
  • 通讯作者:
    Baird Silbaugh, Katharine
{{ 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其他文献

A Core Quantitative Coeffect Calculus
核心定量协效应微积分
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aloïs Brunel;Marco Gaboardi;Damiano Mazza;Steve Zdancewic
  • 通讯作者:
    Steve Zdancewic
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
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 An Implicit Characterization of PSPACE
A PSPACE 的隐式表征
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Marco Gaboardi
  • 通讯作者:
    Marco Gaboardi
Categorical Models for a Semantically Linear Lambda-calculus
语义线性 Lambda 演算的分类模型
  • DOI:
    10.4204/eptcs.22.1
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    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
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
  • 批准号:
    2040215
  • 财政年份:
    2020
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Continuing Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    2040249
  • 财政年份:
    2020
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
  • 批准号:
    2040222
  • 财政年份:
    2020
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
职业:FormalDP:经过正式验证、私密、准确、高效的数据分析
  • 批准号:
    1845803
  • 财政年份:
    2019
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Continuing Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
  • 批准号:
    1718220
  • 财政年份:
    2017
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
TWC: Large: Collaborative: Computing Over Distributed Sensitive Data
TWC:大型:协作:分布式敏感数据计算
  • 批准号:
    1565365
  • 财政年份:
    2016
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Continuing Grant
PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference
PrivInfer - 用于差异隐私的编程语言:调节和推理
  • 批准号:
    EP/M022358/1
  • 财政年份:
    2015
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Research Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
Cell Research
  • 批准号:
    31224802
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research
  • 批准号:
    31024804
  • 批准年份:
    2010
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Cell Research (细胞研究)
  • 批准号:
    30824808
  • 批准年份:
    2008
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 批准年份:
    2007
  • 资助金额:
    45.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
  • 批准号:
    2332722
  • 财政年份:
    2024
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
  • 批准号:
    2332721
  • 财政年份:
    2024
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Empirically Evaluating Data Fiduciary Privacy Laws
合作研究:DASS:实证评估数据信托隐私法
  • 批准号:
    2317115
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing the Relationship Between Privacy Regulations and Software Development to Improve Rulemaking and Compliance
合作研究:DASS:评估隐私法规与软件开发之间的关系以改进规则制定和合规性
  • 批准号:
    2317185
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Accountable Open Source Infrastructure
合作研究:DASS:负责任的开源基础设施
  • 批准号:
    2317169
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing Accountability of Tax Preparation Software Systems
合作研究:DASS:评估报税软件系统的责任
  • 批准号:
    2317207
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Empirically Evaluating Data Fiduciary Privacy Laws
合作研究:DASS:实证评估数据信托隐私法
  • 批准号:
    2317114
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Accountable Open Source Infrastructure
合作研究:DASS:负责任的开源基础设施
  • 批准号:
    2317168
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing the Relationship Between Privacy Regulations and Software Development to Improve Rulemaking and Compliance
合作研究:DASS:评估隐私法规与软件开发之间的关系以改进规则制定和合规性
  • 批准号:
    2317184
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing Accountability of Tax Preparation Software Systems
合作研究:DASS:评估报税软件系统的责任
  • 批准号:
    2317206
  • 财政年份:
    2023
  • 资助金额:
    $ 24.97万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了