High-Level Synthesis of Security Properties via Software-Level Abstractions

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: Christian Pilato, Francesco Regazzoni

Journal title: Proceedings of the 1st Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE'21)

Journal publisher: arxiv

Published year: 2021