课题基金 / 基金详情

CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications

CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications
CPS:SMALL:隐私保护网络拥塞控制:理论与应用
批准号:
1739966
负责人:
Sayan Mitra
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-10-01 至 2021-09-30

项目摘要

项目成果

Sayan Mitra的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The goal of this project is to enable greater sharing of crowd-sensed data, while achieving provable privacy guarantees. Our approach is to limit knowledge of the location traces of crowd-sensed data to exclude the origin and destination, and then consider the system using techniques from distributed control and differential privacy: this enables exploration of the theoretical bounds on the cost of privacy. The achieved results will create a new approach for building and analyzing networked cyber-physical systems (CPS) that permits users to make decisions on crowd-sensed data, and at the same time protects their privacy in a rigorous sense. The project has focused outreach activities in developing a software environment for students to explore privacy-performance trade-offs in transportation operations and an advanced course on security and privacy of CPS.In our technical approach, we focus on the privacy of user inputs, such as the origin (initial state), destination (preference), and utility functions. This enables us to model and analyze how the crowd-sensed data can be used to infer these sensitive inputs, using techniques adapted from the fields of distributed control and differential privacy. The various notions of privacy will support a broad research program, including performance limits of private network control, design principles for different classes of cyber-physical systems, and new location privacy metrics that take into account location popularity. These contributions advance the field of formal analysis of probabilistic models, and the burgeoning subfield of privacy in control and optimization. The theoretical research will be motivated by and evaluated on simulations and proof-of-concept implementations in the context of crowd-sourced congestion detection.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
DOI: 10.1007/978-3-030-53291-8_23
发表时间: 2020-06-16
期刊: Computer Aided Verification
影响因子: --
作者: [Roohi N, Wang Y, West M, Dullerud GE, Viswanathan M]
通讯作者: Viswanathan M
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks
TightRope:实现匿名网络中路径的最佳负载平衡
DOI: 10.1145/3267323.3268953
发表时间: 2018
期刊: 2018
影响因子: --
作者: [Darir, Hussein, Sibai, Hussein, Borisov, Nikita, Dullerud, Geir, Mitra, Sayan]
通讯作者: Mitra, Sayan
FMitF: Collaborative Research: Track I: Predictive Online Safety Analysis from Multi-hop State Estimates for High-autonomy on Highways
II-New: CyPhyHouse: A Laboratory for Evolving Distributed and Mobile Cyber-Physical Systems Research
CSR: Small: From Simulations to Proofs for Cyberphysical Systems
CAREER: Algorithms and Verification for Reliable Distributed Cyber-Physical Systems
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: