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