LabEAD AutoTest: Online Tests of Hardware Designs
ResumoThe outsourcing of hardware production to third-party foundries (often overseas) for cost reduction presents additional challenges to the security of hardware devices. If Hardware Trojans are added to hardware devices during the fabrication phase, design-time approaches are not enough. LabEAD AutoTest is an open-source tool useful to perform automated tests in a hardware design in runtime. It is based on the MQTT protocol, the remote lab LabEAD and Python Notebook. An example of a glitch in an adder described in the VHDL Hardware Description Language was used to show the soundness of the proposed tool. LabEAD AutoTest may be useful to aid in the hardware device validation process.
Hayashi, V., Almeida, F., Arakaki, R., Teixeira, J. C., Martins, D., Midorikawa, E., Cugnasca, P. S., and Canovas, S. (2020). Labead: Laboratório remoto para o ensino de engenharia. In Anais dos Workshops do IX Congresso Brasileiro de Informática na Educação, pages 187–194. SBC.
Hu, W., Chang, C.-H., Sengupta, A., Bhunia, S., Kastner, R., and Li, H. (2020). An overview of hardware security and trust: Threats, countermeasures, and design tools. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 40(6):1010–1038.
Krieg, C., Wolf, C., and Jantsch, A. (2016). Malicious lut: A stealthy fpga trojan injected and triggered by the design flow. In 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pages 1–8. IEEE.
Kulkarni, A., Pino, Y., and Mohsenin, T. (2016). Svm-based real-time hardware trojan detection for many-core platform. In 2016 17th International Symposium on Quality Electronic Design (ISQED), pages 362–367. IEEE.
OASIS (2014). Mqtt version 3.1. 1. URL http://docs.oasis-open.org/mqtt/mqtt/v3, 1:29.