<div dir="ltr">This might be of interest:<div><a href="https://publications.cispa.saarland/4033/1/resolfuzz-esorics2023.pdf">https://publications.cispa.saarland/4033/1/resolfuzz-esorics2023.pdf</a><br></div></div>