https://123dok.net/document/zkw6rxg8-optimal-first-order-boolean-masking-embedded-iot-devices.html