Logic synthesis of assertions for saftey-critical applications. - Matthias Wenzl; Christian Fibich; Peter Rössler; Herbert Taucher; Martin Matschnig (ICIT, 2015)

From Hack to Elaborate Technique - A Survey on Binary Rewriting. - Matthias Wenzl; Georg Merzdovnik; Johanna Ullrich; Edgar R. Weippl (ACM Comput. Surv., 2019)

ISaFe - Injecting Security Features into Constrained Embedded Firmware. - Matthias Wenzl; Georg Merzdovnik; Edgar R. Weippl (ERCIM News, 2019)