Raik Brinkmann

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 1

Top Topics

Countermeasures

Parallel Processing

Top Venues

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Mohammad Rahmani Fadiheh, Johannes Müller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. DAC (2020)
Markus Wedler, Dominik Stoffel, Raik Brinkmann, Wolfgang Kunz
A Normalization Method for Arithmetic Data-Path Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (11) (2007)
Raik Brinkmann, Rolf Drechsler
RTL-Datapath Verification using Integer Linear Programming. VLSI Design (2002)