EAGER: A Roadmap for research towards verification of NextG technologies
EAGER: A Roadmap for research towards verification of NextG technologies
批准号:
2140207
负责人:
Lenore Zuck
金额:
$30.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
已结题
起止时间:
2021-10-01 至 2024-04-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The next generation of cellular technology (NextG) is about to revolutionize communication as we know it. These new technologies will offer cellular communication faster, more reliable, with lower latency, more energy- and spectral- efficient, higher mobility, and denser connectivity than 5G. It will enable applications such as real-time remote healthcare, intelligent industrial automation, high-performance precision agriculture, autonomous vehicles, smart infrastructures, holographic communication, and space communication, and continue to impact each of the sixteen critical infrastructures. The goal of the proposed work is to create a roadmap that prioritizes research pertaining to NextG technologies. It emphasizes issues of correctness, security, and privacy as relating to NextG technologies, viewing correctness as a precondition for security, and security as a precondition for privacy. The project will identify what research is needed to ensure that these networks are trustworthy and offer a high degree of security and privacy for users. Most of the ongoing research studying NextG technologies is done by the networking community and has been primarily focused on performance. Solving the trust, security, and privacy research challenges posed by the NextG ecosystem requires expertise from several research communities such as networking, security, privacy, machine learning, programming languages, software engineering, and a strategic approach to engage them in working towards a common vision. The project will analyze the existing literature and studies on the topic, keeping in mind the Government’s priorities on NextG research, and engage in discussions with relevant academic, government, and industry experts. If need be, some relevant workshops will be held. The envisioned roadmap will be the conclusions obtained from these studies and discussions and will craft the research agenda for NSF programs, as well as other government research programs and researchers, that will seamlessly incorporate NextG into everyday life.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FMitF: Track I: Injecting Formal Methods into Internet Standardization
-
批准号:1918429
-
项目类别:Standard Grant
-
资助金额:$74.97万
-
财政年份:2019
-
负责人:Lenore Zuck
-
依托单位:
SHF: Medium: Self-certifying Compilation and its Applications
-
批准号:1564296
-
项目类别:Standard Grant
-
资助金额:$85.45万
-
财政年份:2016
-
负责人:Lenore Zuck
-
依托单位:
Midwest Verification Day (MVD) 2013
-
批准号:1341855
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2013
-
负责人:Lenore Zuck
-
依托单位:
TWC: Medium: Collaborative: Foundations of Application-Sensitive Access Control Evaluation
-
批准号:1228947
-
项目类别:Standard Grant
-
资助金额:$65.33万
-
财政年份:2012
-
负责人:Lenore Zuck
-
依托单位:
EAGER: From Devlopment Tools to Secure Web Applications
-
批准号:1141863
-
项目类别:Standard Grant
-
资助金额:$22.82万
-
财政年份:2011
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0456163
-
项目类别:Continuing Grant
-
资助金额:$11.38万
-
财政年份:2004
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0306538
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2003
-
负责人:Lenore Zuck
-
依托单位:
CCR: The First Annual Conference on Verification, Model Checking and Abstract Interpretation 2003
-
批准号:0223760
-
项目类别:Standard Grant
-
资助金额:$0.65万
-
财政年份:2002
-
负责人:Lenore Zuck
-
依托单位:
Translation Validation of Advanced Compiler Optimizations
-
批准号:0098299
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2001
-
负责人:Lenore Zuck
-
依托单位:
Applications of Knowledge Theory to Distributed Systems
-
批准号:8910289
-
项目类别:Standard Grant
-
资助金额:$4.12万
-
财政年份:1989
-
负责人:Lenore Zuck
-
依托单位:
海外基金