Luca Hanel

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Information Flows

Hardware Design

Reactive Systems

Top Venues

Publications

Lennart M. Reimann, Luca Hanel, Dominik Sisejkovic, Farhad Merchant, Rainer Leupers
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog. ICCD (2021)
Lennart M. Reimann, Luca Hanel, Dominik Sisejkovic, Farhad Merchant, Rainer Leupers
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog. CoRR (2021)