Peter Meerwald-Stadler

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Top Venues

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)