CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications
CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications
批准号:
1739966
负责人:
Sayan Mitra
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2017
资助国家:
美国
项目状态:
已结题
起止时间:
2017-10-01 至 2021-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
批准号:1918531
-
项目类别:Standard Grant
-
资助金额:$48.95万
-
财政年份:2019
-
负责人:Sayan Mitra
-
依托单位:
II-New: CyPhyHouse: A Laboratory for Evolving Distributed and Mobile Cyber-Physical Systems Research
-
批准号:1629949
-
项目类别:Standard Grant
-
资助金额:$61.0万
-
财政年份:2016
-
负责人:Sayan Mitra
-
依托单位:
CSR: Small: From Simulations to Proofs for Cyberphysical Systems
-
批准号:1422798
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Sayan Mitra
-
依托单位:
CAREER: Algorithms and Verification for Reliable Distributed Cyber-Physical Systems
-
批准号:1054247
-
项目类别:Continuing Grant
-
资助金额:$44.99万
-
财政年份:2011
-
负责人:Sayan Mitra
-
依托单位:
CSR: Small: Verifying Simulink-Stateflow models
-
批准号:1016791
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Sayan Mitra
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: