Concepedia

Michael Rathmair

MR

7

Publications

118

Citations

7

H-Index

2013

Active since

Affiliations

TU Wien(Current)

Joanneum Research

Michael Rathmair is an author at TU Wien specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceHardware SecuritySystems EngineeringComputer EngineeringVerificationSoftware TestingSoftware AnalysisFormal VerificationComputer Architecture

Publications per year

2013–2023

7

Publications

7

Applied formal methods for hardware Trojan detection

Michael Rathmair, Florian Schupfer, Christian Krieg · 2014 · 44 citations

Hardware Trojan detection by specifying malicious circuit properties

Michael Rathmair, Florian Schupfer · 2013 · 17 citations

Hardware Trojan, Engineering, Hardware Verification Language +19

Fully digital write-in scheme for multi-bit memristive storage

Nima TaheriNejad, Manoj P. D. Sai, Michael Rathmair et al. · 2016 · 17 citations

Hardware Security, Non-volatile Memory, Electrical Engineering +11

Load identification and management framework for private households

Michael Rathmair, Jan Haase · 2013 · 10 citations

Load Identification, Engineering, Home Automation +18

A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods

Christian Krieg, Michael Rathmair, Florian Schupfer · 2014 · 10 citations

Hardware Trojan, Engineering, Hardware Verification Language +21

Rows per page

1–5 of 7