Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gideon Mohr, Marco Guarnieri, Jan Reineke

Journal title: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024

Journal number: annual

Journal publisher: IEEE

Published year: 2024

DOI identifier: 10.48550/arxiv.2305.06979