Raik Brinkmann
According to our database1,
Raik Brinkmann
authored at least 4 papers
between 2002 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2007
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007
2003
Preprocessing for property checking of sequential circuits on the register transfer level.
PhD thesis, 2003
2002
Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002