Benjamin Reichenwallner

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Top Venues

Discret. Comput. Geom.

EuroS&P Workshops

Publications

Benjamin Reichenwallner, Peter Meerwald-Stadler
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA. EuroS&P Workshops (2023)
Benjamin Reichenwallner, Peter Meerwald-Stadler
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA. CoRR (2023)
Benjamin Reichenwallner, Peter Meerwald-Stadler
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions. Checkmate@CCS (2022)
Benjamin Reichenwallner, Peter Meerwald-Stadler
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions. CoRR (2022)
Stefan Kunis, Benjamin Reichenwallner, Matthias Reitzner
Random Approximation of Convex Bodies: Monotonicity of the Volumes of Random Tetrahedra. Discret. Comput. Geom. 59 (1) (2018)