Dominik Stoffel

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

Minh Duc Nguyen, Max Thalmaier, Markus Wedler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 65 citations

Computing, Computer Engineering, Computer Science +17

Logic optimization and equivalence checking by implication analysis

Wolfgang Kunz, Dominik Stoffel, P.R. Menon · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1997 · 53 citations

Engineering, Computer Engineering, Computer Science +17

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

E. Yu. Pavlenko, Markus Wedler, Dominik Stoffel et al. · 2011 · 43 citations

Engineering, Computer Engineering, Computer Science +11

A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors

Mohammad Rahmani Fadiheh, Muller Johannes, Raik Brinkmann et al. · 2020 · 38 citations

Computing, Computer Engineering, Computer Science +13

Speculative disassembly of binary code

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz · 2016 · 34 citations

Computing, Computer Engineering, Computer Science +13