Matthias Wenzl

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Logic Synthesis

False Positives

Queries Using Views

Top Venues

ACM Comput. Surv.

Publications

Matthias Wenzl, Georg Merzdovnik, Johanna Ullrich, Edgar R. Weippl
From Hack to Elaborate Technique - A Survey on Binary Rewriting. ACM Comput. Surv. 52 (3) (2019)
Matthias Wenzl, Georg Merzdovnik, Edgar R. Weippl
ISaFe - Injecting Security Features into Constrained Embedded Firmware. ERCIM News 2019 (119) (2019)
Matthias Wenzl, Christian Fibich, Peter Rössler, Herbert Taucher, Martin Matschnig
Logic synthesis of assertions for saftey-critical applications. ICIT (2015)