Benjamin Reichenwallner, Peter Meerwald-Stadler. Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA. In IEEE European Symposium on Security and Privacy, EuroS&P 2023 - Workshops, Delft, Netherlands, July 3-7, 2023. pages 427-438, IEEE, 2023. [doi]
@inproceedings{ReichenwallnerM23, title = {Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA}, author = {Benjamin Reichenwallner and Peter Meerwald-Stadler}, year = {2023}, doi = {10.1109/EuroSPW59978.2023.00053}, url = {https://doi.org/10.1109/EuroSPW59978.2023.00053}, researchr = {https://researchr.org/publication/ReichenwallnerM23}, cites = {0}, citedby = {0}, pages = {427-438}, booktitle = {IEEE European Symposium on Security and Privacy, EuroS&P 2023 - Workshops, Delft, Netherlands, July 3-7, 2023}, publisher = {IEEE}, isbn = {979-8-3503-2720-5}, }