SaTC: CORE: Medium: Collaborative: Energy-Harvested Security for the Internet of Things

物联网将计算机的虚拟世界与现实世界的应用相结合，从而提高效率、经济效益和生活质量。这需要大量的微型计算机，而这个项目解决了以可持续的方式为这些计算机供电的挑战。微型计算机可以利用太阳能、振动和/或温度梯度等能源来运行。该项目的目标是展示这种能量受限的设备如何支持安全和全面的互联网连接。这可以通过重新处理导致安全Internet连接的计算并随着时间的推移将其分散来实现。提出的解决方案旨在利用每一个收获的焦耳能量进行有用的计算。该项目建立在三个领域的见解之上，包括加密工程、能量收集技术和形式验证。加密算法的收割机友好版本是通过将其划分为预先计算的生成优惠券的步骤来创建的。当有多余的能量时，就会产生优惠券，它们可以在稍后的阶段用来加快在线计算的速度。该项目优化了标准互联网堆栈中的加密技术，并将其与能量收集技术集成在一起。验证技术确保了互联网协议的预计算版本与主流版本的功能等价。该项目为诸如轻量级密码学、形式化方法和能量收集系统实现等关键领域的研究议程做出了贡献。该项目将传播出版物、开源硬件和软件，并将建立一个编程竞赛，以提高人们对物联网能源限制的认识。

The Internet of Things integrates the virtual world of computers into real-world applications, leading to better efficiency, economy and an improved quality of life. This requires a huge amount of tiny computers, and this project addresses the challenge of powering those computers in a sustainable manner. Tiny computers can run off harvested energy sources such as solar, vibration and/or temperature gradient. The project objective is to show how such energy-constrained devices can support secure and full Internet connectivity. This can be achieved by reworking the computations leading up to a secure Internet connection and spreading them out over time. The proposed solution aims to use every harvested Joule of energy towards useful computations.The project builds on insights from three domains, including cryptographic engineering, energy-harvesting technologies, and formal verification. The harvester-friendly version of a cryptographic algorithm is created by partitioning it in pre-computed steps that generate coupons. Coupons are created when there is a surplus energy, and they can be used to speed up online computations at a later phase. The project optimizes cryptography from the standard Internet stack and integrates it with energy-harvester technology. Verification techniques ensure the functional equivalence of pre-computed versions of Internet protocols to their mainstream counterparts. The project contributes to the research agenda in crucial areas such as lightweight cryptography, formal methods, and realization of energy-harvesting systems. The project will disseminate publications, open-source hardware, and software, and it will establish a programming competition to raise the awareness of energy-constraints in the Internet of Things.