Tim Leinmueller
Papers
1
Total Citations
5
H-Index
1
About
Tim Leinmueller is a leading researcher in hardware security and trusted computing, with a focus on the formal verification of security properties in modern processor architectures. His work addresses critical vulnerabilities in RISC-V processors—an open-standard architecture increasingly deployed in security-sensitive domains such as autonomous driving and service robotics. Leinmueller’s most-cited paper, "Formal Verification of Security Properties on RISC-V Processors" (2023, 5 citations), pioneers rigorous methods to detect design flaws and enforce security guarantees at the hardware level, a vital step toward trustworthy systems. By bridging formal methods and hardware design, he has contributed foundational techniques for verifying information flow, access control, and isolation properties, directly impacting the safety of embedded and cyber-physical systems. His research is particularly notable for its practical relevance: as RISC-V gains traction in industry, Leinmueller’s verification frameworks help prevent exploits that could compromise autonomous vehicles or service robots. With a growing citation footprint and a focus on real-world security challenges, he is shaping the next generation of verifiably secure processors.
Research Focus
Key Achievements
Top Papers
- 1Formal Verification of Security Properties on RISC-V Processors5 citations · 2023