@misc{indiciae8df1aae76126, title = {Constraint-based Diversification of JOP Gadgets}, author = {Rodothea Myrsini Tsoupidi and Roberto CastaƱeda Lozano and Benoit Baudry}, year = {2021}, doi = {10.1613/jair.1.12848}, url = {https://arxiv.org/abs/2111.09934}, note = {Source identifier: 2111.09934} }