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

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

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.