LabEAD AutoTest: Online Tests of Hardware Designs

Resumo


The 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.
Palavras-chave: hardware testing, security, remote lab

Referências

Fyrbiak, M., Wallat, S., Reinhard, S., Bissantz, N., and Paar, C. (2019). Graph similarity and its applications to hardware security. IEEE Transactions on Computers, 69(4):505–519.

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.
Publicado
12/09/2022
HAYASHI, Victor T.; RUGGIERO, Wilson V.; ALMEIDA, Felipe V. de. LabEAD AutoTest: Online Tests of Hardware Designs. In: SALÃO DE FERRAMENTAS - SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 22. , 2022, Santa Maria. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 95-102. DOI: https://doi.org/10.5753/sbseg_estendido.2022.227007.