Web: http://arxiv.org/abs/2209.06335

Sept. 15, 2022, 1:20 a.m. | Benjamin Reichenwallner, Peter Meerwald-Stadler

cs.CR updates on arXiv.org arxiv.org

Mixed Boolean-Arithmetic (MBA) expressions are frequently used for
obfuscation. As they combine arithmetic as well as Boolean operations, neither
arithmetic laws nor transformation rules for logical formulas can be applied to
suitably complex expressions, making MBAs hard to simplify and solve. In 2019,
Liu et al. demystified linear MBAs, leveraging a transformation between the set
$B=\{0,1\}$ of bit values and the set $B^n$ of words of length $n\in\mathbb{N}$
for linear MBAs, originally introduced by Zhou et al. in 2007. With …


Chief Information Security Officer

@ Los Angeles Unified School District | Los Angeles

Cybersecurity Engineer

@ Apercen Partners LLC | Folsom, CA

IDM Sr. Security Developer

@ The Ohio State University | Columbus, OH, United States

IT Security Engineer

@ Stylitics | New York City

Information Security Engineer

@ VDA Labs | Remote

Sr. Malware Researcher - Windows Software Engineer

@ SentinelOne | Brno, South Moravian, Czech Republic

Senior Cyber Security Incident Response Analyst

@ ServiceNow | Dublin, Ireland

Staff, Privacy Compliance Monitoring

@ Coupang | Seoul, South Korea


@ Security Bank | Makati, Makati, Philippines

Cyber Security Analyst

@ Avery Dennison | Bengaluru/Remote, India

Security Incident Response Manager (Remote, Americas)

@ Shopify | Dallas, TX, United States

Sr. Compliance Specialist (Screening)

@ Coupang | Seoul, South Korea