Random Approximation of Convex Bodies: Monotonicity of the Volumes of Random Tetrahedra. - Stefan Kunis; Benjamin Reichenwallner; Matthias Reitzner (Discret. Comput. Geom., 2018)

Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions. - Benjamin Reichenwallner; Peter Meerwald-Stadler (Checkmate@CCS, 2022)

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA. - Benjamin Reichenwallner; Peter Meerwald-Stadler (EuroS&P Workshops, 2023)