CAREER: A Trustworthy and Verifiable Software Backplane for the Cloud Edge

物联网(IoT)产生了大量的流数据。运输原始物联网数据的高成本和长延迟要求进行边缘处理。该项目的目标是在边缘处理过程中保护物联网数据。它寻求在边缘建立一条可信的数据路径。当数据流经路径时，所提出的边缘系统可确保1)数据机密性：物联网数据仅可由可信方访问；2)完整性：所有到达边缘的数据都根据计划的处理进行精确处理；3)可验证性：边缘上的数据流和计算可被可信的云后端验证。该项目的研究重点将与其教育和推广计划紧密结合，教育学生了解值得信赖的计算场景，并激发公众对科学、技术、工程和数学(STEM)的兴趣。有计划为课程贡献新内容；通过现场物联网分析加强学生Maker活动；为当地儿童提供关于IoT/Edge的暑期课程；并在社区IoT活动中展示相关外展。由于物联网正在给现代社会带来革命性的变化，该项目旨在实现由物联网数据驱动的更安全、更高效的情报。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Internet of things (IoT) produces a large influx of streaming data. The high cost and long latency in shipping raw IoT data necessitates edge processing. The objective of this project is to safeguard IoT data during edge processing. It seeks to establish a trusted data path on the edge. As the data flows through the path, the proposed edge system ensures 1) data confidentiality: IoT data is only accessible to trusted parties; 2) integrity: all the data having arrived at the edge is exactly manipulated according to the planned processing; 3) verifiability: data flows and computations on the edge are verifiable to a trusted cloud backend. The project's research thrusts will be tightly integrated with its education and outreach plan, educating students on trustworthy computing scenarios as well as stimulating the public's interests in science, technology, engineering, and math (STEM). There are plans to contribute fresh contents to curriculum; enhance student maker activities with in-situ IoT analytics; provide a summer course on IoT/Edge for local children; and, present relevant outreach at community IoT events. As IoT is revolutionizing modern society, the project aims toward more secure and efficient intelligence driven by IoT data.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.