Sign in
Robert Kunzelmann
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Covert Channel
Hardware Implementation
Hardware Design
Instruction Set
Top Venues
IACR Cryptol. ePrint Arch.
MCSoC
NorCAS
</>
Publications
</>
Endri Kaja
,
Nicolas Gerlin
,
Robert Kunzelmann
,
Keerthikumara Devarajegowda
,
Wolfgang Ecker
Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation.
MCSoC
(2023)
Johannes Kappes
,
Robert Kunzelmann
,
Karsten Emrich
,
Conrad Foik
,
Daniel Mueller-Gritschneder
,
Wolfgang Ecker
Effective Processor Model Generation from Instruction Set Simulator to Hardware Design.
NorCAS
(2023)
Mathieu Gross
,
Robert Kunzelmann
,
Georg Sigl
CPU to FPGA Power Covert Channel in FPGA-SoCs.
IACR Cryptol. ePrint Arch.
2023 (2023)