A fast BDD Minimization Framework for Approximate Computing. - Andreas Wendler; Oliver Keszöcze (DATE, 2020)

A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard. - Joschua Schilling; Andreas Wendler; Philipp Görz; Nils Bars; Moritz Schloegel; Thorsten Holz (USENIX Security Symposium, 2024)