English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

High-level synthesis (HLS) is a key component for the hardware accelerationof applications, especially thanks to the diffusion of reconfigurable devicesin many domains, from data centers to edge devices. HLS reduces developmenttimes by allowing designers to raise the abstraction level and use automatedmethods for hardware generation. Since security concerns are becoming more andmore relevant for data-intensive applications, we investigate how to abstractsecurity properties and use HLS for their integration with the acceleratorfunctionality. We use the case of dynamic information flow tracking, showinghow classic software-level abstractions can be efficiently used to hideimplementation details to the designers.

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