@misc{indiciae8bd5080009d3, title = {Dynamic Toolbox for ETRINV}, author = {Mikkel Abrahamsen and Tillmann Miltzow}, year = {2019}, url = {https://arxiv.org/abs/1912.08674}, note = {Source identifier: 1912.08674} }