Publication: A Secure Hardware-Software Solution Based on RISC-V, Logic Locking and Microkernel 

Authors:

Šišejković, D. ,  Merchant, F. ,  Reimann, L. M. ,  Leupers, R. ,  Giacometti, M. ,  Kegreiß, S.

Book Title:

Proceedings of the 23nd International Workshop on Software and Compilers for Embedded Systems (SCOPES)

Publisher:

Association for Computing Machinery

Pages:

p. 62–65

Date:

2020

DOI:

10.1145/3378678.3391886

hsb:

RWTH-2021-00340

Language:

English

Abstract

In this paper we present the first generation of a secure platform de- veloped by following a security-by-design approach. The security of the platform is built on top of two pillars: a secured hardware design flow and a secure microkernel. The hardware design is protected against the insertion of hardware Trojans during the production phase through netlist obfuscation provided by logic locking. The software stack is based on a trustworthy and verified microkernel. Moreover, the system is expected to work in an environment which does not allow physical access to the device. Therefore, on-the- field attacks are only possible via software. We present a solution whose security has been achieved by relying on simple and open hardware and software solutions, namely a RISC-V processor core, open-source peripherals and an seL4-based operating system.

Download

BibTeX

---