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
中文摘要
下一代蜂窝技术(NextG)即将彻底改变我们所知的通信。这些新技术将提供比5G更快、更可靠、更低延迟、更节能和频谱效率、更高移动性和更密集连接的蜂窝通信。它将支持实时远程医疗、智能工业自动化、高性能精准农业、自动驾驶汽车、智能基础设施、全息通信和空间通信等应用,并继续影响十六个关键基础设施中的每一个。拟议工作的目标是创建一个路线图,优先考虑与NextG技术有关的研究。它强调与NextG技术相关的正确性、安全性和隐私性问题,将正确性视为安全性的前提条件,将安全性视为隐私性的前提条件。该项目将确定需要进行哪些研究,以确保这些网络值得信赖,并为用户提供高度的安全性和隐私。大多数正在进行的NextG技术研究都是由网络社区完成的,主要集中在性能上。解决NextG生态系统带来的信任、安全和隐私研究挑战需要来自多个研究社区的专业知识,如网络、安全、隐私、机器学习、编程语言、软件工程,以及一种战略方法,让他们共同努力实现共同愿景。 该项目将分析有关该主题的现有文献和研究,牢记政府对NextG研究的优先事项,并与相关学术,政府和行业专家进行讨论。如有必要,还将举办一些相关研讨会。 设想的路线图将是从这些研究和讨论中获得的结论,并将为NSF项目以及其他政府研究项目和研究人员制定研究议程,将NextG无缝地融入日常生活。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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
-
依托单位:
海外基金